The cat needs the dog. The cow chases the squirrel. The cow eats the cat. The cow is big. The cow is red. The dog chases the cat. The dog chases the squirrel. The dog eats the cat. The dog eats the cow. The dog eats the squirrel. The dog is blue. The dog is red. The dog needs the cat. The squirrel eats the cow. The squirrel eats the dog. Cold people are not big. If someone needs the cat then they are cold.
The cat needs the dog.
("cat" "needs" "dog" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is red.
("cow" "is" "red" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is red.
("dog" "is" "red" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
Cold people are not big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "-"))
If someone needs the cat then they are cold.
((("someone" "needs" "cat" "+")) -> ("someone" "is" "cold" "+"))
The cow is big.
True
1
proof
[(triple4)]
("cow" "is" "big" "+")
triple4
The cow is not big.
False
1
inv-proof
[(triple4)]
("cow" "is" "big" "-")
triple4
The dog is cold.
True
2
proof
[(((triple13) -> rule2))]
("dog" "is" "cold" "+")
((triple13) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is not cold.
False
2
inv-proof
[(((triple13) -> rule2))]
("dog" "is" "cold" "-")
((triple13) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is not big.
True
3
proof
[(((((triple13) -> rule2)) -> rule1))]
("dog" "is" "big" "-")
((((triple13) -> (rule2 % int2))) -> (rule1 % int1))
The dog is not big.
("dog" "is" "big" "-")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog is big.
False
3
inv-proof
[(((((triple13) -> rule2)) -> rule1))]
("dog" "is" "big" "+")
((((triple13) -> (rule2 % int2))) -> (rule1 % int1))
The dog is not big.
("dog" "is" "big" "-")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "cold" "-")
The cat is cold.
Unknown
rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "cold" "+")
The cow is not cold.
Unknown
inv-rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "cold" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cow needs the dog.
Unknown
random
[@0: The cow needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "dog" "+")
@0: The cat needs the dog.[(triple1)] The cow chases the squirrel.[(triple2)] The cow eats the cat.[(triple3)] The cow is big.[(triple4)] The cow is red.[(triple5)] The dog chases the cat.[(triple6)] The dog chases the squirrel.[(triple7)] The dog eats the cat.[(triple8)] The dog eats the cow.[(triple9)] The dog eats the squirrel.[(triple10)] The dog is blue.[(triple11)] The dog is red.[(triple12)] The dog needs the cat.[(triple13)] The squirrel eats the cow.[(triple14)] The squirrel eats the dog.[(triple15)] @1: The dog is cold.[(((triple13) -> rule2))] @2: The dog is not big.[(((((triple13) -> rule2)) -> rule1))]
The cat needs the dog.
("cat" "needs" "dog" "+")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The cow eats the cat.
("cow" "eats" "cat" "+")
triple3
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The dog chases the cat.
("dog" "chases" "cat" "+")
triple6
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple7
The dog eats the cat.
("dog" "eats" "cat" "+")
triple8
The dog eats the cow.
("dog" "eats" "cow" "+")
triple9
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple10
The dog is blue.
("dog" "is" "blue" "+")
triple11
The dog is red.
("dog" "is" "red" "+")
triple12
The dog needs the cat.
("dog" "needs" "cat" "+")
triple13
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple14
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple15
The dog is cold.
("dog" "is" "cold" "+")
((triple13) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is not big.
("dog" "is" "big" "-")
((((triple13) -> (rule2 % int2))) -> (rule1 % int1))
The dog is not big.
("dog" "is" "big" "-")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2