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