Bob is blue. Bob is furry. Bob is quiet. Bob is rough. Bob is round. Erin is furry. Gary is blue. Gary is furry. Harry is green. Harry is round. All rough people are round. If someone is blue and green then they are furry.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
All rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and green then they are furry.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Gary is blue.
True
1
proof
[(triple7)]
("Gary" "is" "blue" "+")
triple7
Gary is not furry.
False
1
inv-proof
[(triple8)]
("Gary" "is" "furry" "-")
triple8
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "round" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple4) -> rule1))] Erin is furry.[(triple6)] Gary is blue.[(triple7)] Gary is furry.[(triple8)] Harry is green.[(triple9)] Harry is round.[(triple10)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
((triple4) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10