Anne is furry. Anne is rough. Anne is not white. Bob is green. Bob is rough. Bob is smart. Charlie is big. Charlie is nice. Gary is not big. Gary is furry. Gary is not nice. Gary is not smart. If someone is white then they are not nice. If someone is big and not green then they are not nice. Big, green people are smart. White people are smart. If someone is big then they are furry. Rough, white people are furry. All nice, white people are furry. If Anne is green then Anne is white.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not white.
("Anne" "is" "white" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is not smart.
("Gary" "is" "smart" "-")
If someone is white then they are not nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "-"))
If someone is big and not green then they are not nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "nice" "-"))
Big, green people are smart.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
White people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
If someone is big then they are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
Rough, white people are furry.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
All nice, white people are furry.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If Anne is green then Anne is white.
((("Anne" "is" "green" "+")) -> ("Anne" "is" "white" "+"))
Bob is rough.
True
1
proof
[(triple5)]
("Bob" "is" "rough" "+")
triple5
Gary is not furry.
False
1
inv-proof
[(triple10)]
("Gary" "is" "furry" "-")
triple10
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "furry" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Anne is furry.[(triple1)] Anne is not white.[(triple3)] Anne is rough.[(triple2)] Bob is green.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Charlie is big.[(triple7)] Charlie is nice.[(triple8)] Gary is furry.[(triple10)] Gary is not big.[(triple9)] Gary is not nice.[(triple11)] Gary is not smart.[(triple12)] @1: Charlie is furry.[(((triple7) -> rule5))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is not white.
("Anne" "is" "white" "-")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is not big.
("Gary" "is" "big" "-")
triple9
Gary is not nice.
("Gary" "is" "nice" "-")
triple11
Gary is not smart.
("Gary" "is" "smart" "-")
triple12
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple7) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1