Bob is big. Bob is cold. Bob is furry. Bob is red. Bob is round. Bob is white. Gary is quiet. Round, cold people are red. Furry, cold people are red.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Round, cold people are red.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Furry, cold people are red.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Gary is quiet.
True
1
proof
[(triple7)]
("Gary" "is" "quiet" "+")
triple7
Bob is not white.
False
1
inv-proof
[(triple6)]
("Bob" "is" "white" "-")
triple6
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is red.[(triple4 OR ((triple3 triple2) -> rule2) OR ((triple5 triple2) -> rule1))] Bob is round.[(triple5)] Bob is white.[(triple6)] Gary is quiet.[(triple7)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
((triple3 triple2) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple5 triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7