The cat eats the dog. The cat eats the lion. The cat is green. The cat is young. The cat visits the lion. The dog eats the lion. The dog is rough. The dog sees the lion. The dog visits the cat. The dog does not visit the lion. The lion eats the cat. The lion does not eat the dog. The lion is red. The lion is rough. The lion does not see the dog. If someone is rough and they eat the lion then the lion does not visit the dog. If the dog eats the lion then the dog is not cold. If someone visits the dog then they are cold. If someone is rough and they see the dog then the dog is rough. If the dog sees the cat and the dog is young then the cat is cold. If someone visits the lion and the lion does not visit the dog then the dog is young.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is young.
("cat" "is" "young" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The dog does not visit the lion.
("dog" "visits" "lion" "-")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion does not eat the dog.
("lion" "eats" "dog" "-")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion does not see the dog.
("lion" "sees" "dog" "-")
If someone is rough and they eat the lion then the lion does not visit the dog.
((("someone" "is" "rough" "+") ("someone" "eats" "lion" "+")) -> ("lion" "visits" "dog" "-"))
If the dog eats the lion then the dog is not cold.
((("dog" "eats" "lion" "+")) -> ("dog" "is" "cold" "-"))
If someone visits the dog then they are cold.
((("someone" "visits" "dog" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and they see the dog then the dog is rough.
((("someone" "is" "rough" "+") ("someone" "sees" "dog" "+")) -> ("dog" "is" "rough" "+"))
If the dog sees the cat and the dog is young then the cat is cold.
((("dog" "sees" "cat" "+") ("dog" "is" "young" "+")) -> ("cat" "is" "cold" "+"))
If someone visits the lion and the lion does not visit the dog then the dog is young.
((("someone" "visits" "lion" "+") ("lion" "visits" "dog" "~")) -> ("dog" "is" "young" "+"))
The cat is green.
True
1
proof
[(triple3)]
("cat" "is" "green" "+")
triple3
The cat does not eat the dog.
False
1
inv-proof
[(triple1)]
("cat" "eats" "dog" "-")
triple1
The lion does not visit the dog.
True
3
proof
[(((triple7 triple6) -> rule1))]
("lion" "visits" "dog" "-")
((triple7 triple6) -> (rule1 % int1))
The lion does not visit the dog.
("lion" "visits" "dog" "-")
int1
The dog is cold.
False
2
inv-proof
[(((triple6) -> rule2))]
("dog" "is" "cold" "+")
((triple6) -> (rule2 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The dog is young.
True
5
proof
[(((triple5 ((triple7 triple6) -> rule1)) -> rule6))]
("dog" "is" "young" "+")
((triple5 ((triple7 triple6) -> (rule1 % int2))) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The lion does not visit the dog.
("lion" "visits" "dog" "-")
int2
The dog is not young.
False
5
inv-proof
[(((triple5 ((triple7 triple6) -> rule1)) -> rule6))]
("dog" "is" "young" "-")
((triple5 ((triple7 triple6) -> (rule1 % int2))) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The lion does not visit the dog.
("lion" "visits" "dog" "-")
int2
The lion is not cold.
Unknown
inv-rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "cold" "-")
The cat is cold.
Unknown
rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "cold" "+")
The lion does not see the cat.
Unknown
inv-random
[@0: The lion sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "cat" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The dog eats the cat.
Unknown
random
[@0: The dog eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "cat" "+")
@0: The cat eats the dog.[(triple1)] The cat eats the lion.[(triple2)] The cat is green.[(triple3)] The cat is young.[(triple4)] The cat visits the lion.[(triple5)] The dog does not visit the lion.[(triple10)] The dog eats the lion.[(triple6)] The dog is rough.[(triple7)] The dog sees the lion.[(triple8)] The dog visits the cat.[(triple9)] The lion does not eat the dog.[(triple12)] The lion does not see the dog.[(triple15)] The lion eats the cat.[(triple11)] The lion is red.[(triple13)] The lion is rough.[(triple14)] @1: The dog is not cold.[(((triple6) -> rule2))] The lion does not visit the dog.[(((triple7 triple6) -> rule1))] @2: The dog is young.[(((triple5 ((triple7 triple6) -> rule1)) -> rule6))]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat eats the lion.
("cat" "eats" "lion" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The cat visits the lion.
("cat" "visits" "lion" "+")
triple5
The dog does not visit the lion.
("dog" "visits" "lion" "-")
triple10
The dog eats the lion.
("dog" "eats" "lion" "+")
triple6
The dog is rough.
("dog" "is" "rough" "+")
triple7
The dog sees the lion.
("dog" "sees" "lion" "+")
triple8
The dog visits the cat.
("dog" "visits" "cat" "+")
triple9
The lion does not eat the dog.
("lion" "eats" "dog" "-")
triple12
The lion does not see the dog.
("lion" "sees" "dog" "-")
triple15
The lion eats the cat.
("lion" "eats" "cat" "+")
triple11
The lion is red.
("lion" "is" "red" "+")
triple13
The lion is rough.
("lion" "is" "rough" "+")
triple14
The dog is not cold.
("dog" "is" "cold" "-")
((triple6) -> (rule2 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The lion does not visit the dog.
("lion" "visits" "dog" "-")
((triple7 triple6) -> (rule1 % int1))
The lion does not visit the dog.
("lion" "visits" "dog" "-")
int1
The dog is young.
("dog" "is" "young" "+")
((triple5 ((triple7 triple6) -> (rule1 % int2))) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The lion does not visit the dog.
("lion" "visits" "dog" "-")
int2