Bob is green. Bob is kind. Bob is quiet. Cold, quiet people are young. If someone is kind then they are white. If someone is white and green then they are furry. Cold, green people are kind. If Bob is kind then Bob is quiet. All young, cold people are furry.
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Cold, quiet people are young.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
If someone is kind then they are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
If someone is white and green then they are furry.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Cold, green people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If Bob is kind then Bob is quiet.
((("Bob" "is" "kind" "+")) -> ("Bob" "is" "quiet" "+"))
All young, cold people are furry.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Bob is quiet.
True
1
proof
[(triple3 OR ((triple2) -> rule5))]
("Bob" "is" "quiet" "+")
triple3
((triple2) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is not kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Bob is white.
True
2
proof
[(((triple2) -> rule2))]
("Bob" "is" "white" "+")
((triple2) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is not white.
False
2
inv-proof
[(((triple2) -> rule2))]
("Bob" "is" "white" "-")
((triple2) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
True
4
proof
[(((((triple2) -> rule2) triple1) -> rule3))]
("Bob" "is" "furry" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is not furry.
False
4
inv-proof
[(((((triple2) -> rule2) triple1) -> rule3))]
("Bob" "is" "furry" "-")
((((triple2) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3 OR ((triple2) -> rule5))] @1: Bob is white.[(((triple2) -> rule2))] @2: Bob is furry.[(((((triple2) -> rule2) triple1) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
((triple2) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple2) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2