Anne is furry. Anne is quiet. Bob is furry. Bob is red. Bob is not young. Charlie is big. Charlie is not quiet. Charlie is red. Charlie is young. Dave is quiet. If someone is big then they are furry. If someone is furry and red then they are not round.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not young.
("Bob" "is" "young" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
If someone is big then they are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry and red then they are not round.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "-"))
Bob is red.
True
1
proof
[(triple4)]
("Bob" "is" "red" "+")
triple4
Charlie is not young.
False
1
inv-proof
[(triple9)]
("Charlie" "is" "young" "-")
triple9
Bob is not round.
True
3
proof
[(((triple3 triple4) -> rule2))]
("Bob" "is" "round" "-")
((triple3 triple4) -> (rule2 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Bob is round.
False
3
inv-proof
[(((triple3 triple4) -> rule2))]
("Bob" "is" "round" "+")
((triple3 triple4) -> (rule2 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Charlie is not round.
True
4
proof
[(((((triple6) -> rule1) triple8) -> rule2))]
("Charlie" "is" "round" "-")
((((triple6) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Charlie is not round.
("Charlie" "is" "round" "-")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
False
4
inv-proof
[(((((triple6) -> rule1) triple8) -> rule2))]
("Charlie" "is" "round" "+")
((((triple6) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Charlie is not round.
("Charlie" "is" "round" "-")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Bob is furry.[(triple3)] Bob is not young.[(triple5)] Bob is red.[(triple4)] Charlie is big.[(triple6)] Charlie is not quiet.[(triple7)] Charlie is red.[(triple8)] Charlie is young.[(triple9)] Dave is quiet.[(triple10)] @1: Bob is not round.[(((triple3 triple4) -> rule2))] Charlie is furry.[(((triple6) -> rule1))] @2: Charlie is not round.[(((((triple6) -> rule1) triple8) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is not young.
("Bob" "is" "young" "-")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Dave is quiet.
("Dave" "is" "quiet" "+")
triple10
Bob is not round.
("Bob" "is" "round" "-")
((triple3 triple4) -> (rule2 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple6) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not round.
("Charlie" "is" "round" "-")
((((triple6) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Charlie is not round.
("Charlie" "is" "round" "-")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2