Bob is white. Bob is young. Charlie is furry. Quiet people are white. If someone is white then they are furry. If someone is big and cold then they are quiet. If someone is green then they are furry. Furry, quiet people are green. Big people are cold. If someone is white and cold then they are furry. Big people are cold.
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If someone is white then they are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If someone is big and cold then they are quiet.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
If someone is green then they are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Furry, quiet people are green.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
Big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is white and cold then they are furry.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Bob is white.
True
1
proof
[(triple1)]
("Bob" "is" "white" "+")
triple1
Bob is not young.
False
1
inv-proof
[(triple2)]
("Bob" "is" "young" "-")
triple2
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "quiet" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is white.[(triple1)] Bob is young.[(triple2)] Charlie is furry.[(triple3)] @1: Bob is furry.[(((triple1) -> rule2))]
Bob is white.
("Bob" "is" "white" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1