Anne is quiet. Anne is red. Anne is rough. Bob is quiet. Bob is red. Bob is white. Gary is green. Gary is white. Harry is nice. Harry is red. Big, nice people are white. Red, white people are big. If Anne is nice and Anne is green then Anne is white.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Big, nice people are white.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Red, white people are big.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
If Anne is nice and Anne is green then Anne is white.
((("Anne" "is" "nice" "+") ("Anne" "is" "green" "+")) -> ("Anne" "is" "white" "+"))
Gary is green.
True
1
proof
[(triple7)]
("Gary" "is" "green" "+")
triple7
Bob is not quiet.
False
1
inv-proof
[(triple4)]
("Bob" "is" "quiet" "-")
triple4
Bob is big.
True
3
proof
[(((triple5 triple6) -> rule2))]
("Bob" "is" "big" "+")
((triple5 triple6) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple5 triple6) -> rule2))]
("Bob" "is" "big" "-")
((triple5 triple6) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is white.
Unknown
rconc
[@2: Harry is white.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Harry" "is" "white" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is white.[(triple6)] Gary is green.[(triple7)] Gary is white.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10)] @1: Bob is big.[(((triple5 triple6) -> rule2))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is white.
("Gary" "is" "white" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Bob is big.
("Bob" "is" "big" "+")
((triple5 triple6) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1