The cow chases the rabbit. The cow eats the rabbit. The cow is blue. The cow is green. The cow is kind. The cow is nice. The cow is rough. The cow visits the rabbit. The rabbit chases the cow. The rabbit eats the cow. The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit is rough. The rabbit visits the cow. If something eats the cow then it chases the rabbit. If something chases the rabbit and the rabbit is green then the rabbit is blue. If something is nice and it eats the cow then it visits the cow. If the rabbit eats the cow and the cow is rough then the cow is nice. If something visits the rabbit and it chases the rabbit then it is nice. If something visits the rabbit and it is green then it eats the cow.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If something eats the cow then it chases the rabbit.
((("something" "eats" "cow" "+")) -> ("something" "chases" "rabbit" "+"))
If something chases the rabbit and the rabbit is green then the rabbit is blue.
((("something" "chases" "rabbit" "+") ("rabbit" "is" "green" "+")) -> ("rabbit" "is" "blue" "+"))
If something is nice and it eats the cow then it visits the cow.
((("something" "is" "nice" "+") ("something" "eats" "cow" "+")) -> ("something" "visits" "cow" "+"))
If the rabbit eats the cow and the cow is rough then the cow is nice.
((("rabbit" "eats" "cow" "+") ("cow" "is" "rough" "+")) -> ("cow" "is" "nice" "+"))
If something visits the rabbit and it chases the rabbit then it is nice.
((("something" "visits" "rabbit" "+") ("something" "chases" "rabbit" "+")) -> ("something" "is" "nice" "+"))
If something visits the rabbit and it is green then it eats the cow.
((("something" "visits" "rabbit" "+") ("something" "is" "green" "+")) -> ("something" "eats" "cow" "+"))
The rabbit is rough.
True
1
proof
[(triple14)]
("rabbit" "is" "rough" "+")
triple14
The rabbit is not kind.
False
1
inv-proof
[(triple13)]
("rabbit" "is" "kind" "-")
triple13
The rabbit chases the rabbit.
True
2
proof
[(((triple10) -> rule1))]
("rabbit" "chases" "rabbit" "+")
((triple10) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit does not chase the rabbit.
False
2
inv-proof
[(((triple10) -> rule1))]
("rabbit" "chases" "rabbit" "-")
((triple10) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The cow visits the cow.
True
5
proof
[(((triple6 ((triple8 triple4) -> rule6)) -> rule3) OR ((((triple10 triple7) -> rule4) ((triple8 triple4) -> rule6)) -> rule3) OR ((((triple8 triple1) -> rule5) ((triple8 triple4) -> rule6)) -> rule3) OR ((((triple8 ((((triple8 triple4) -> rule6)) -> rule1)) -> rule5) ((triple8 triple4) -> rule6)) -> rule3))]
("cow" "visits" "cow" "+")
((triple6 ((triple8 triple4) -> (rule6 % int2))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
((((triple10 triple7) -> (rule4 % int3)) ((triple8 triple4) -> (rule6 % int2))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
((((triple8 triple1) -> (rule5 % int3)) ((triple8 triple4) -> (rule6 % int2))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
((((triple8 ((((triple8 triple4) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple8 triple4) -> (rule6 % int4))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int3
The cow eats the cow.
("cow" "eats" "cow" "+")
int4
The cow does not visit the cow.
False
5
inv-proof
[(((triple6 ((triple8 triple4) -> rule6)) -> rule3) OR ((((triple10 triple7) -> rule4) ((triple8 triple4) -> rule6)) -> rule3) OR ((((triple8 triple1) -> rule5) ((triple8 triple4) -> rule6)) -> rule3) OR ((((triple8 ((((triple8 triple4) -> rule6)) -> rule1)) -> rule5) ((triple8 triple4) -> rule6)) -> rule3))]
("cow" "visits" "cow" "-")
((triple6 ((triple8 triple4) -> (rule6 % int2))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
((((triple10 triple7) -> (rule4 % int3)) ((triple8 triple4) -> (rule6 % int2))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
((((triple8 triple1) -> (rule5 % int3)) ((triple8 triple4) -> (rule6 % int2))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
((((triple8 ((((triple8 triple4) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple8 triple4) -> (rule6 % int4))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int3
The cow eats the cow.
("cow" "eats" "cow" "+")
int4
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "nice" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The cow chases the rabbit.[(triple1 OR ((((triple8 triple4) -> rule6)) -> rule1))] The cow eats the rabbit.[(triple2)] The cow is blue.[(triple3)] The cow is green.[(triple4)] The cow is kind.[(triple5)] The cow is nice.[(triple6 OR ((triple10 triple7) -> rule4) OR ((triple8 triple1) -> rule5) OR ((triple8 ((((triple8 triple4) -> rule6)) -> rule1)) -> rule5))] The cow is rough.[(triple7)] The cow visits the rabbit.[(triple8)] The rabbit chases the cow.[(triple9)] The rabbit eats the cow.[(triple10)] The rabbit is blue.[(triple11 OR ((triple1 triple12) -> rule2) OR ((((triple10) -> rule1) triple12) -> rule2) OR ((((((triple8 triple4) -> rule6)) -> rule1) triple12) -> rule2))] The rabbit is green.[(triple12)] The rabbit is kind.[(triple13)] The rabbit is rough.[(triple14)] The rabbit visits the cow.[(triple15)] @1: The cow eats the cow.[(((triple8 triple4) -> rule6))] The rabbit chases the rabbit.[(((triple10) -> rule1))] @2: The cow visits the cow.[(((triple6 ((triple8 triple4) -> rule6)) -> rule3) OR ((((triple10 triple7) -> rule4) ((triple8 triple4) -> rule6)) -> rule3) OR ((((triple8 triple1) -> rule5) ((triple8 triple4) -> rule6)) -> rule3) OR ((((triple8 ((((triple8 triple4) -> rule6)) -> rule1)) -> rule5) ((triple8 triple4) -> rule6)) -> rule3))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
((((triple8 triple4) -> (rule6 % int2))) -> (rule1 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is green.
("cow" "is" "green" "+")
triple4
The cow is kind.
("cow" "is" "kind" "+")
triple5
The cow is nice.
("cow" "is" "nice" "+")
triple6
((triple10 triple7) -> (rule4 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
((triple8 triple1) -> (rule5 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
((triple8 ((((triple8 triple4) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
triple7
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple8
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple9
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple10
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple11
((triple1 triple12) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
((((triple10) -> (rule1 % int2)) triple12) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
((((((triple8 triple4) -> (rule6 % int3))) -> (rule1 % int2)) triple12) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
triple12
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple13
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple14
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple15
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple8 triple4) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple10) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple6 ((triple8 triple4) -> (rule6 % int2))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
((((triple10 triple7) -> (rule4 % int3)) ((triple8 triple4) -> (rule6 % int2))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
((((triple8 triple1) -> (rule5 % int3)) ((triple8 triple4) -> (rule6 % int2))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
((((triple8 ((((triple8 triple4) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple8 triple4) -> (rule6 % int4))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int3
The cow eats the cow.
("cow" "eats" "cow" "+")
int4