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