The cow eats the lion. The cow is not green. The cow likes the lion. The cow likes the tiger. The dog eats the lion. The dog is young. The dog likes the tiger. The lion eats the tiger. The lion likes the cow. The lion visits the tiger. The tiger eats the cow. The tiger does not like the dog. If someone is young and they visit the lion then they are not nice. If the dog is not green then the dog visits the lion. If the tiger eats the lion and the tiger eats the cow then the tiger likes the cow. If the dog does not visit the lion then the lion is green. If someone eats the tiger and they are young then they visit the cow. If someone visits the dog then the dog eats the tiger. If someone likes the tiger and they are not green then the tiger visits the dog. If someone visits the dog and they are not cold then they are red.
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger does not like the dog.
("tiger" "likes" "dog" "-")
If someone is young and they visit the lion then they are not nice.
((("someone" "is" "young" "+") ("someone" "visits" "lion" "+")) -> ("someone" "is" "nice" "-"))
If the dog is not green then the dog visits the lion.
((("dog" "is" "green" "~")) -> ("dog" "visits" "lion" "+"))
If the tiger eats the lion and the tiger eats the cow then the tiger likes the cow.
((("tiger" "eats" "lion" "+") ("tiger" "eats" "cow" "+")) -> ("tiger" "likes" "cow" "+"))
If the dog does not visit the lion then the lion is green.
((("dog" "visits" "lion" "~")) -> ("lion" "is" "green" "+"))
If someone eats the tiger and they are young then they visit the cow.
((("someone" "eats" "tiger" "+") ("someone" "is" "young" "+")) -> ("someone" "visits" "cow" "+"))
If someone visits the dog then the dog eats the tiger.
((("someone" "visits" "dog" "+")) -> ("dog" "eats" "tiger" "+"))
If someone likes the tiger and they are not green then the tiger visits the dog.
((("someone" "likes" "tiger" "+") ("someone" "is" "green" "~")) -> ("tiger" "visits" "dog" "+"))
If someone visits the dog and they are not cold then they are red.
((("someone" "visits" "dog" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "red" "+"))
The lion likes the cow.
True
1
proof
[(triple9)]
("lion" "likes" "cow" "+")
triple9
The lion does not visit the tiger.
False
1
inv-proof
[(triple10)]
("lion" "visits" "tiger" "-")
triple10
The tiger visits the dog.
True
3
proof
[(((triple4 triple2) -> rule7))]
("tiger" "visits" "dog" "+")
((triple4 triple2) -> (rule7 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The tiger does not visit the dog.
False
3
inv-proof
[(((triple4 triple2) -> rule7))]
("tiger" "visits" "dog" "-")
((triple4 triple2) -> (rule7 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The dog eats the tiger.
True
4
proof
[(((((triple4 triple2) -> rule7)) -> rule6))]
("dog" "eats" "tiger" "+")
((((triple4 triple2) -> (rule7 % int2))) -> (rule6 % int1))
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
The dog does not eat the tiger.
False
4
inv-proof
[(((((triple4 triple2) -> rule7)) -> rule6))]
("dog" "eats" "tiger" "-")
((((triple4 triple2) -> (rule7 % int2))) -> (rule6 % int1))
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
The dog visits the cow.
True
6
proof
[(((((((triple4 triple2) -> rule7)) -> rule6) triple6) -> rule5))]
("dog" "visits" "cow" "+")
((((((triple4 triple2) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int2
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int3
The dog does not visit the cow.
False
6
inv-proof
[(((((((triple4 triple2) -> rule7)) -> rule6) triple6) -> rule5))]
("dog" "visits" "cow" "-")
((((((triple4 triple2) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int2
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int3
The tiger does not like the cow.
Unknown
inv-rconc
[@1: The tiger likes the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "likes" "cow" "-")
The cow is red.
Unknown
rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "is" "red" "+")
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "is" "red" "-")
The lion is red.
Unknown
rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "is" "red" "+")
The lion is not cold.
Unknown
inv-random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The dog does not like the cow.
Unknown
inv-random
[@0: The dog likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "cow" "-")
The cow likes the dog.
Unknown
random
[@0: The cow likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "dog" "+")
@0: The cow eats the lion.[(triple1)] The cow is not green.[(triple2)] The cow likes the lion.[(triple3)] The cow likes the tiger.[(triple4)] The dog eats the lion.[(triple5)] The dog is young.[(triple6)] The dog likes the tiger.[(triple7)] The lion eats the tiger.[(triple8)] The lion likes the cow.[(triple9)] The lion visits the tiger.[(triple10)] The tiger does not like the dog.[(triple12)] The tiger eats the cow.[(triple11)] @1: The tiger visits the dog.[(((triple4 triple2) -> rule7))] @2: The dog eats the tiger.[(((((triple4 triple2) -> rule7)) -> rule6))] @3: The dog visits the cow.[(((((((triple4 triple2) -> rule7)) -> rule6) triple6) -> rule5))]
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
The cow is not green.
("cow" "is" "green" "-")
triple2
The cow likes the lion.
("cow" "likes" "lion" "+")
triple3
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple4
The dog eats the lion.
("dog" "eats" "lion" "+")
triple5
The dog is young.
("dog" "is" "young" "+")
triple6
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple7
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple8
The lion likes the cow.
("lion" "likes" "cow" "+")
triple9
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple10
The tiger does not like the dog.
("tiger" "likes" "dog" "-")
triple12
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple11
The tiger visits the dog.
("tiger" "visits" "dog" "+")
((triple4 triple2) -> (rule7 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
((((triple4 triple2) -> (rule7 % int2))) -> (rule6 % int1))
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
The dog visits the cow.
("dog" "visits" "cow" "+")
((((((triple4 triple2) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int2
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int3