The cat is cold. The cat is green. The cat is red. The cat is round. The cat is young. Cold, red people are young. All green people are red. If someone is red and cold then they are green. All green people are red. If someone is round and cold then they are red. If the cat is green then the cat is young. Green, round people are red. Young people are green.
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
Cold, red people are young.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
All green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
All green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is round and cold then they are red.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If the cat is green then the cat is young.
((("cat" "is" "green" "+")) -> ("cat" "is" "young" "+"))
Green, round people are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
The cat is cold.
True
1
proof
[(triple1)]
("cat" "is" "cold" "+")
triple1
The cat is not green.
False
1
inv-proof
[(triple2 OR ((triple5) -> rule8) OR ((triple3 triple1) -> rule3) OR ((((triple1 triple3) -> rule1)) -> rule8) OR ((((triple4 triple1) -> rule5) triple1) -> rule3) OR ((((triple1 ((triple4 triple1) -> rule5)) -> rule1)) -> rule8))]
("cat" "is" "green" "-")
triple2
((triple5) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
((triple3 triple1) -> (rule3 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
((((triple1 triple3) -> (rule1 % int2))) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
((((triple4 triple1) -> (rule5 % int2)) triple1) -> (rule3 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
((((triple1 ((triple4 triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The cat is cold.[(triple1)] The cat is green.[(triple2 OR ((triple5) -> rule8) OR ((triple3 triple1) -> rule3) OR ((((triple1 triple3) -> rule1)) -> rule8) OR ((((triple4 triple1) -> rule5) triple1) -> rule3) OR ((((triple1 ((triple4 triple1) -> rule5)) -> rule1)) -> rule8))] The cat is red.[(triple3 OR ((triple2) -> rule2) OR ((triple2) -> rule4) OR ((triple2 triple4) -> rule7) OR ((triple4 triple1) -> rule5) OR ((((triple5) -> rule8)) -> rule2) OR ((((triple5) -> rule8)) -> rule4) OR ((((triple5) -> rule8) triple4) -> rule7))] The cat is round.[(triple4)] The cat is young.[(triple5 OR ((triple2) -> rule6) OR ((triple1 triple3) -> rule1) OR ((((triple3 triple1) -> rule3)) -> rule6) OR ((triple1 ((triple2) -> rule2)) -> rule1) OR ((triple1 ((triple2) -> rule4)) -> rule1) OR ((triple1 ((triple2 triple4) -> rule7)) -> rule1) OR ((triple1 ((triple4 triple1) -> rule5)) -> rule1) OR ((((((triple4 triple1) -> rule5) triple1) -> rule3)) -> rule6))]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
((triple5) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
((triple3 triple1) -> (rule3 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
((((triple1 triple3) -> (rule1 % int2))) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
((((triple4 triple1) -> (rule5 % int2)) triple1) -> (rule3 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
((((triple1 ((triple4 triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The cat is red.
("cat" "is" "red" "+")
triple3
((triple2) -> (rule2 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
((triple2) -> (rule4 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
((triple2 triple4) -> (rule7 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
((triple4 triple1) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule2 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
((((triple5) -> (rule8 % int2))) -> (rule4 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
((((triple5) -> (rule8 % int2)) triple4) -> (rule7 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat is round.
("cat" "is" "round" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5
((triple2) -> (rule6 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
((triple1 triple3) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
((((triple3 triple1) -> (rule3 % int2))) -> (rule6 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
((triple1 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
((triple1 ((triple2) -> (rule4 % int2))) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
((triple1 ((triple2 triple4) -> (rule7 % int2))) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
((triple1 ((triple4 triple1) -> (rule5 % int2))) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
((((((triple4 triple1) -> (rule5 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3