Anne is big. Anne is blue. Anne is quiet. Anne is red. Bob is big. Bob is blue. Bob is nice. Bob is red. Bob is round. Erin is big. Erin is quiet. Erin is rough. Gary is blue. Gary is nice. Gary is red. Gary is round. Blue, round people are nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Blue, round people are nice.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Erin is rough.
True
1
proof
[(triple12)]
("Erin" "is" "rough" "+")
triple12
Anne is not quiet.
False
1
inv-proof
[(triple3)]
("Anne" "is" "quiet" "-")
triple3
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Bob is big.[(triple5)] Bob is blue.[(triple6)] Bob is nice.[(triple7 OR ((triple6 triple9) -> rule1))] Bob is red.[(triple8)] Bob is round.[(triple9)] Erin is big.[(triple10)] Erin is quiet.[(triple11)] Erin is rough.[(triple12)] Gary is blue.[(triple13)] Gary is nice.[(triple14 OR ((triple13 triple16) -> rule1))] Gary is red.[(triple15)] Gary is round.[(triple16)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple7
((triple6 triple9) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple8
Bob is round.
("Bob" "is" "round" "+")
triple9
Erin is big.
("Erin" "is" "big" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
Erin is rough.
("Erin" "is" "rough" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
((triple13 triple16) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple15
Gary is round.
("Gary" "is" "round" "+")
triple16