Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is round. Anne is smart. Anne is young. Charlie is cold. Charlie is furry. Charlie is green. Charlie is red. Charlie is round. Charlie is smart. Charlie is young. Dave is red. Dave is smart. Cold people are round. Red people are cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Charlie is cold.
True
1
proof
[(triple8 OR ((triple11) -> rule2))]
("Charlie" "is" "cold" "+")
triple8
((triple11) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not furry.
False
1
inv-proof
[(triple9)]
("Charlie" "is" "furry" "-")
triple9
Dave is cold.
True
2
proof
[(((triple15) -> rule2))]
("Dave" "is" "cold" "+")
((triple15) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple15) -> rule2))]
("Dave" "is" "cold" "-")
((triple15) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
True
3
proof
[(((((triple15) -> rule2)) -> rule1))]
("Dave" "is" "round" "+")
((((triple15) -> (rule2 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not round.
False
3
inv-proof
[(((((triple15) -> rule2)) -> rule1))]
("Dave" "is" "round" "-")
((((triple15) -> (rule2 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Anne is cold.[(triple1 OR ((triple4) -> rule2))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5 OR ((triple1) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Anne is smart.[(triple6)] Anne is young.[(triple7)] Charlie is cold.[(triple8 OR ((triple11) -> rule2))] Charlie is furry.[(triple9)] Charlie is green.[(triple10)] Charlie is red.[(triple11)] Charlie is round.[(triple12 OR ((triple8) -> rule1) OR ((((triple11) -> rule2)) -> rule1))] Charlie is smart.[(triple13)] Charlie is young.[(triple14)] Dave is red.[(triple15)] Dave is smart.[(triple16)] @1: Dave is cold.[(((triple15) -> rule2))] @2: Dave is round.[(((((triple15) -> rule2)) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple4) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple8
((triple11) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple9
Charlie is green.
("Charlie" "is" "green" "+")
triple10
Charlie is red.
("Charlie" "is" "red" "+")
triple11
Charlie is round.
("Charlie" "is" "round" "+")
triple12
((triple8) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple11) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple13
Charlie is young.
("Charlie" "is" "young" "+")
triple14
Dave is red.
("Dave" "is" "red" "+")
triple15
Dave is smart.
("Dave" "is" "smart" "+")
triple16
Dave is cold.
("Dave" "is" "cold" "+")
((triple15) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((((triple15) -> (rule2 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2