Bob is cold. Bob is kind. Bob is quiet. Bob is rough. Dave is big. Dave is cold. Dave is not green. Dave is kind. Dave is rough. Erin is big. Erin is quiet. Gary is kind. Gary is quiet. Gary is not rough. Gary is round. Kind, cold things are big.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is round.
("Gary" "is" "round" "+")
Kind, cold things are big.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
Dave is kind.
True
1
proof
[(triple8)]
("Dave" "is" "kind" "+")
triple8
Dave is not big.
False
1
inv-proof
[(triple5 OR ((triple8 triple6) -> rule1))]
("Dave" "is" "big" "-")
triple5
((triple8 triple6) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Bob is big.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Bob" "is" "big" "+")
((triple2 triple1) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Bob" "is" "big" "-")
((triple2 triple1) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Dave is big.[(triple5 OR ((triple8 triple6) -> rule1))] Dave is cold.[(triple6)] Dave is kind.[(triple8)] Dave is not green.[(triple7)] Dave is rough.[(triple9)] Erin is big.[(triple10)] Erin is quiet.[(triple11)] Gary is kind.[(triple12)] Gary is not rough.[(triple14)] Gary is quiet.[(triple13)] Gary is round.[(triple15)] @1: Bob is big.[(((triple2 triple1) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple5
((triple8 triple6) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is not green.
("Dave" "is" "green" "-")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Erin is big.
("Erin" "is" "big" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is not rough.
("Gary" "is" "rough" "-")
triple14
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Gary is round.
("Gary" "is" "round" "+")
triple15
Bob is big.
("Bob" "is" "big" "+")
((triple2 triple1) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1