The cow chases the rabbit. The cow chases the tiger. The cow eats the tiger. The cow is round. The cow sees the squirrel. The rabbit eats the tiger. The rabbit is kind. The rabbit is red. The rabbit sees the cow. The rabbit sees the squirrel. The squirrel chases the rabbit. The squirrel eats the cow. The squirrel is nice. The squirrel sees the cow. The tiger is red. If something chases the tiger then it eats the cow. Nice things are rough. If something sees the tiger and it sees the cow then it is rough. If the tiger chases the rabbit and the tiger eats the rabbit then the tiger sees the cow. If something sees the tiger then the tiger eats the rabbit. If something sees the cow and it is red then it is rough. If something sees the rabbit and it is rough then the rabbit chases the cow. If something eats the squirrel then the squirrel eats the rabbit.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is round.
("cow" "is" "round" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The tiger is red.
("tiger" "is" "red" "+")
If something chases the tiger then it eats the cow.
((("something" "chases" "tiger" "+")) -> ("something" "eats" "cow" "+"))
Nice things are rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If something sees the tiger and it sees the cow then it is rough.
((("something" "sees" "tiger" "+") ("something" "sees" "cow" "+")) -> ("something" "is" "rough" "+"))
If the tiger chases the rabbit and the tiger eats the rabbit then the tiger sees the cow.
((("tiger" "chases" "rabbit" "+") ("tiger" "eats" "rabbit" "+")) -> ("tiger" "sees" "cow" "+"))
If something sees the tiger then the tiger eats the rabbit.
((("something" "sees" "tiger" "+")) -> ("tiger" "eats" "rabbit" "+"))
If something sees the cow and it is red then it is rough.
((("something" "sees" "cow" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If something sees the rabbit and it is rough then the rabbit chases the cow.
((("something" "sees" "rabbit" "+") ("something" "is" "rough" "+")) -> ("rabbit" "chases" "cow" "+"))
If something eats the squirrel then the squirrel eats the rabbit.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "eats" "rabbit" "+"))
The squirrel is nice.
True
1
proof
[(triple13)]
("squirrel" "is" "nice" "+")
triple13
The rabbit is not red.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "red" "-")
triple8
The squirrel is rough.
True
2
proof
[(((triple13) -> rule2))]
("squirrel" "is" "rough" "+")
((triple13) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is not rough.
False
2
inv-proof
[(((triple13) -> rule2))]
("squirrel" "is" "rough" "-")
((triple13) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The tiger is not rough.
Unknown
inv-rconc
[@2: The tiger is rough.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("tiger" "is" "rough" "-")
The rabbit chases the cow.
Unknown
rconc
[@1: The rabbit chases the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "chases" "cow" "+")
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The cow sees the rabbit.
Unknown
random
[@0: The cow sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "rabbit" "+")
@0: The cow chases the rabbit.[(triple1)] The cow chases the tiger.[(triple2)] The cow eats the tiger.[(triple3)] The cow is round.[(triple4)] The cow sees the squirrel.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is red.[(triple8)] The rabbit sees the cow.[(triple9)] The rabbit sees the squirrel.[(triple10)] The squirrel chases the rabbit.[(triple11)] The squirrel eats the cow.[(triple12)] The squirrel is nice.[(triple13)] The squirrel sees the cow.[(triple14)] The tiger is red.[(triple15)] @1: The cow eats the cow.[(((triple2) -> rule1))] The rabbit is rough.[(((triple9 triple8) -> rule6))] The squirrel is rough.[(((triple13) -> rule2))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple5
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple6
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple7
The rabbit is red.
("rabbit" "is" "red" "+")
triple8
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple9
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple10
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple11
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple12
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple13
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple14
The tiger is red.
("tiger" "is" "red" "+")
triple15
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple2) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple9 triple8) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple13) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1