The cow does not eat the squirrel. The cow is big. The cow is nice. The cow is red. The cow is rough. The cow is not round. The cow likes the squirrel. The cow does not visit the squirrel. The squirrel does not eat the cow. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the cow. The squirrel does not visit the cow. If something is rough then it likes the cow. If something is rough and it eats the squirrel then the squirrel eats the cow. If something is red and nice then it does not visit the cow. If something likes the cow and it does not eat the cow then the cow is red. If something eats the squirrel and it is not red then the squirrel visits the cow. If something visits the squirrel then the squirrel does not visit the cow. If something visits the cow then it visits the squirrel. If something visits the cow and it does not visit the squirrel then the cow likes the squirrel.
The cow does not eat the squirrel.
("cow" "eats" "squirrel" "-")
The cow is big.
("cow" "is" "big" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is not round.
("cow" "is" "round" "-")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow does not visit the squirrel.
("cow" "visits" "squirrel" "-")
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
If something is rough then it likes the cow.
((("something" "is" "rough" "+")) -> ("something" "likes" "cow" "+"))
If something is rough and it eats the squirrel then the squirrel eats the cow.
((("something" "is" "rough" "+") ("something" "eats" "squirrel" "+")) -> ("squirrel" "eats" "cow" "+"))
If something is red and nice then it does not visit the cow.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "visits" "cow" "-"))
If something likes the cow and it does not eat the cow then the cow is red.
((("something" "likes" "cow" "+") ("something" "eats" "cow" "~")) -> ("cow" "is" "red" "+"))
If something eats the squirrel and it is not red then the squirrel visits the cow.
((("something" "eats" "squirrel" "+") ("something" "is" "red" "~")) -> ("squirrel" "visits" "cow" "+"))
If something visits the squirrel then the squirrel does not visit the cow.
((("something" "visits" "squirrel" "+")) -> ("squirrel" "visits" "cow" "-"))
If something visits the cow then it visits the squirrel.
((("something" "visits" "cow" "+")) -> ("something" "visits" "squirrel" "+"))
If something visits the cow and it does not visit the squirrel then the cow likes the squirrel.
((("something" "visits" "cow" "+") ("something" "visits" "squirrel" "~")) -> ("cow" "likes" "squirrel" "+"))
The cow is big.
True
1
proof
[(triple2)]
("cow" "is" "big" "+")
triple2
The squirrel eats the cow.
False
1
inv-proof
[(triple9)]
("squirrel" "eats" "cow" "+")
triple9
The cow likes the cow.
True
2
proof
[(((triple5) -> rule1))]
("cow" "likes" "cow" "+")
((triple5) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow does not like the cow.
False
2
inv-proof
[(((triple5) -> rule1))]
("cow" "likes" "cow" "-")
((triple5) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The squirrel does not visit the squirrel.
Unknown
inv-rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The cow does not eat the squirrel.[(triple1)] The cow does not visit the squirrel.[(triple8)] The cow is big.[(triple2)] The cow is nice.[(triple3)] The cow is not round.[(triple6)] The cow is red.[(triple4 OR ((triple14 triple9) -> rule4) OR ((((triple12) -> rule1) triple9) -> rule4))] The cow is rough.[(triple5)] The cow likes the squirrel.[(triple7)] The squirrel does not eat the cow.[(triple9)] The squirrel does not visit the cow.[(triple15 OR ((triple11 triple10) -> rule3))] The squirrel is nice.[(triple10)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is round.[(triple13)] The squirrel likes the cow.[(triple14 OR ((triple12) -> rule1))] @1: The cow does not visit the cow.[(((triple4 triple3) -> rule3) OR ((((triple14 triple9) -> rule4) triple3) -> rule3) OR ((((((triple12) -> rule1) triple9) -> rule4) triple3) -> rule3))] The cow likes the cow.[(((triple5) -> rule1))]
The cow does not eat the squirrel.
("cow" "eats" "squirrel" "-")
triple1
The cow does not visit the squirrel.
("cow" "visits" "squirrel" "-")
triple8
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is not round.
("cow" "is" "round" "-")
triple6
The cow is red.
("cow" "is" "red" "+")
triple4
((triple14 triple9) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((((triple12) -> (rule1 % int2)) triple9) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
triple5
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple7
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
triple9
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
triple15
((triple11 triple10) -> (rule3 % int1))
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple14
((triple12) -> (rule1 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The cow does not visit the cow.
("cow" "visits" "cow" "-")
((triple4 triple3) -> (rule3 % int1))
The cow does not visit the cow.
("cow" "visits" "cow" "-")
int1
((((triple14 triple9) -> (rule4 % int2)) triple3) -> (rule3 % int1))
The cow does not visit the cow.
("cow" "visits" "cow" "-")
int1
The cow is red.
("cow" "is" "red" "+")
int2
((((((triple12) -> (rule1 % int3)) triple9) -> (rule4 % int2)) triple3) -> (rule3 % int1))
The cow does not visit the cow.
("cow" "visits" "cow" "-")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
((triple5) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1