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