The cow chases the lion. The cow eats the lion. The cow is rough. The cow likes the lion. The cow likes the tiger. The lion chases the tiger. The lion is red. The lion is round. The lion likes the cow. The tiger chases the cow. The tiger chases the lion. The tiger eats the lion. The tiger is blue. The tiger is rough. The tiger likes the cow. The tiger likes the lion. If someone chases the tiger and they eat the cow then the cow is blue. If someone eats the lion and they chase the lion then the lion eats the cow. If someone is blue then they chase the lion.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
If someone chases the tiger and they eat the cow then the cow is blue.
((("someone" "chases" "tiger" "+") ("someone" "eats" "cow" "+")) -> ("cow" "is" "blue" "+"))
If someone eats the lion and they chase the lion then the lion eats the cow.
((("someone" "eats" "lion" "+") ("someone" "chases" "lion" "+")) -> ("lion" "eats" "cow" "+"))
If someone is blue then they chase the lion.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "lion" "+"))
The tiger chases the lion.
True
1
proof
[(triple11 OR ((triple13) -> rule3))]
("tiger" "chases" "lion" "+")
triple11
((triple13) -> (rule3 % int1))
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int1
The lion does not like the cow.
False
1
inv-proof
[(triple9)]
("lion" "likes" "cow" "-")
triple9
The lion eats the cow.
True
3
proof
[(((triple12 triple11) -> rule2) OR ((triple2 triple1) -> rule2) OR ((triple12 ((triple13) -> rule3)) -> rule2))]
("lion" "eats" "cow" "+")
((triple12 triple11) -> (rule2 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
((triple2 triple1) -> (rule2 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
((triple12 ((triple13) -> (rule3 % int2))) -> (rule2 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The lion does not eat the cow.
False
3
inv-proof
[(((triple12 triple11) -> rule2) OR ((triple2 triple1) -> rule2) OR ((triple12 ((triple13) -> rule3)) -> rule2))]
("lion" "eats" "cow" "-")
((triple12 triple11) -> (rule2 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
((triple2 triple1) -> (rule2 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
((triple12 ((triple13) -> (rule3 % int2))) -> (rule2 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The cow is blue.
True
5
proof
[(((triple6 ((triple12 triple11) -> rule2)) -> rule1) OR ((triple6 ((triple2 triple1) -> rule2)) -> rule1) OR ((triple6 ((triple12 ((triple13) -> rule3)) -> rule2)) -> rule1))]
("cow" "is" "blue" "+")
((triple6 ((triple12 triple11) -> (rule2 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
((triple6 ((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
((triple6 ((triple12 ((triple13) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int3
The cow is not blue.
False
5
inv-proof
[(((triple6 ((triple12 triple11) -> rule2)) -> rule1) OR ((triple6 ((triple2 triple1) -> rule2)) -> rule1) OR ((triple6 ((triple12 ((triple13) -> rule3)) -> rule2)) -> rule1))]
("cow" "is" "blue" "-")
((triple6 ((triple12 triple11) -> (rule2 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
((triple6 ((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
((triple6 ((triple12 ((triple13) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int3
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "chases" "lion" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
The lion is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
The lion does not like the tiger.
Unknown
inv-random
[@0: The lion likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "tiger" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The cow chases the lion.[(triple1 OR ((((triple6 ((triple12 triple11) -> rule2)) -> rule1)) -> rule3) OR ((((triple6 ((triple12 ((triple13) -> rule3)) -> rule2)) -> rule1)) -> rule3))] The cow eats the lion.[(triple2)] The cow is rough.[(triple3)] The cow likes the lion.[(triple4)] The cow likes the tiger.[(triple5)] The lion chases the tiger.[(triple6)] The lion is red.[(triple7)] The lion is round.[(triple8)] The lion likes the cow.[(triple9)] The tiger chases the cow.[(triple10)] The tiger chases the lion.[(triple11 OR ((triple13) -> rule3))] The tiger eats the lion.[(triple12)] The tiger is blue.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the cow.[(triple15)] The tiger likes the lion.[(triple16)] @1: The lion eats the cow.[(((triple12 triple11) -> rule2) OR ((triple2 triple1) -> rule2) OR ((triple12 ((triple13) -> rule3)) -> rule2))] @2: The cow is blue.[(((triple6 ((triple12 triple11) -> rule2)) -> rule1) OR ((triple6 ((triple2 triple1) -> rule2)) -> rule1) OR ((triple6 ((triple12 ((triple13) -> rule3)) -> rule2)) -> rule1))]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
((((triple6 ((triple12 triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow chases the lion.
("cow" "chases" "lion" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
((((triple6 ((triple12 ((triple13) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow chases the lion.
("cow" "chases" "lion" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int4
The cow eats the lion.
("cow" "eats" "lion" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
The cow likes the lion.
("cow" "likes" "lion" "+")
triple4
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple5
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7
The lion is round.
("lion" "is" "round" "+")
triple8
The lion likes the cow.
("lion" "likes" "cow" "+")
triple9
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple10
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple11
((triple13) -> (rule3 % int1))
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple12
The tiger is blue.
("tiger" "is" "blue" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple15
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple16
The lion eats the cow.
("lion" "eats" "cow" "+")
((triple12 triple11) -> (rule2 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
((triple2 triple1) -> (rule2 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
((triple12 ((triple13) -> (rule3 % int2))) -> (rule2 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
((triple6 ((triple12 triple11) -> (rule2 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
((triple6 ((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
((triple6 ((triple12 ((triple13) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int3