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