Anne is green. Anne is nice. Anne is round. Bob is big. Bob is blue. Bob is round. Erin is green. Gary is furry. Gary is nice. Gary is white. If someone is furry then they are nice. Round people are white. All nice people are blue. If Erin is round then Erin is nice. Green, big people are white. If someone is big then they are nice.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is green.
("Erin" "is" "green" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is furry then they are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
Round people are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
All nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If Erin is round then Erin is nice.
((("Erin" "is" "round" "+")) -> ("Erin" "is" "nice" "+"))
Green, big people are white.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Gary is white.
True
1
proof
[(triple10)]
("Gary" "is" "white" "+")
triple10
Anne is not round.
False
1
inv-proof
[(triple3)]
("Anne" "is" "round" "-")
triple3
Erin is not blue.
Unknown
inv-rconc
[@2: Erin is blue.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Erin" "is" "blue" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Bob is big.[(triple4)] Bob is blue.[(triple5 OR ((((triple4) -> rule6)) -> rule3))] Bob is round.[(triple6)] Erin is green.[(triple7)] Gary is furry.[(triple8)] Gary is nice.[(triple9 OR ((triple8) -> rule1))] Gary is white.[(triple10)] @1: Anne is blue.[(((triple2) -> rule3))] Anne is white.[(((triple3) -> rule2))] Bob is nice.[(((triple4) -> rule6))] Bob is white.[(((triple6) -> rule2))] Gary is blue.[(((triple9) -> rule3) OR ((((triple8) -> rule1)) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
((triple8) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple10
Anne is blue.
("Anne" "is" "blue" "+")
((triple2) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple3) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple4) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple6) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple9) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2