Anne is green. Anne is kind. Anne is red. Anne is round. Bob is not furry. Bob is kind. Bob is nice. Bob is not red. Bob is round. Bob is young. Furry, round people are young. If someone is young then they are green. If Bob is round and Bob is not furry then Bob is nice.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not red.
("Bob" "is" "red" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Furry, round people are young.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is young then they are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If Bob is round and Bob is not furry then Bob is nice.
((("Bob" "is" "round" "+") ("Bob" "is" "furry" "~")) -> ("Bob" "is" "nice" "+"))
Bob is nice.
True
1
proof
[(triple7 OR ((triple9 triple5) -> rule3))]
("Bob" "is" "nice" "+")
triple7
((triple9 triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
1
inv-proof
[(triple7 OR ((triple9 triple5) -> rule3))]
("Bob" "is" "nice" "-")
triple7
((triple9 triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
True
2
proof
[(((triple10) -> rule2))]
("Bob" "is" "green" "+")
((triple10) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
2
inv-proof
[(((triple10) -> rule2))]
("Bob" "is" "green" "-")
((triple10) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "young" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Bob is kind.[(triple6)] Bob is nice.[(triple7 OR ((triple9 triple5) -> rule3))] Bob is not furry.[(triple5)] Bob is not red.[(triple8)] Bob is round.[(triple9)] Bob is young.[(triple10)] @1: Bob is green.[(((triple10) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple7
((triple9 triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not furry.
("Bob" "is" "furry" "-")
triple5
Bob is not red.
("Bob" "is" "red" "-")
triple8
Bob is round.
("Bob" "is" "round" "+")
triple9
Bob is young.
("Bob" "is" "young" "+")
triple10
Bob is green.
("Bob" "is" "green" "+")
((triple10) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1