The cow chases the squirrel. The cow eats the squirrel. The cow eats the tiger. The cow is big. The cow is round. The cow visits the squirrel. The squirrel chases the cow. The squirrel is nice. The squirrel is not rough. The squirrel visits the cow. The tiger does not chase the squirrel. The tiger is not round. If something eats the squirrel then it visits the tiger. If something visits the squirrel and it does not visit the tiger then the squirrel does not chase the tiger.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is round.
("cow" "is" "round" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
The tiger is not round.
("tiger" "is" "round" "-")
If something eats the squirrel then it visits the tiger.
((("something" "eats" "squirrel" "+")) -> ("something" "visits" "tiger" "+"))
If something visits the squirrel and it does not visit the tiger then the squirrel does not chase the tiger.
((("something" "visits" "squirrel" "+") ("something" "visits" "tiger" "~")) -> ("squirrel" "chases" "tiger" "-"))
The tiger does not chase the squirrel.
True
1
proof
[(triple11)]
("tiger" "chases" "squirrel" "-")
triple11
The squirrel is rough.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "rough" "+")
triple9
The cow visits the tiger.
True
2
proof
[(((triple2) -> rule1))]
("cow" "visits" "tiger" "+")
((triple2) -> (rule1 % int1))
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int1
The cow does not visit the tiger.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "visits" "tiger" "-")
((triple2) -> (rule1 % int1))
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int1
The squirrel does not visit the tiger.
Unknown
inv-rconc
[@1: The squirrel visits the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "tiger" "-")
The tiger visits the tiger.
Unknown
rconc
[@1: The tiger visits the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "visits" "tiger" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
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 chases the squirrel.[(triple1)] The cow eats the squirrel.[(triple2)] The cow eats the tiger.[(triple3)] The cow is big.[(triple4)] The cow is round.[(triple5)] The cow visits the squirrel.[(triple6)] The squirrel chases the cow.[(triple7)] The squirrel is nice.[(triple8)] The squirrel is not rough.[(triple9)] The squirrel visits the cow.[(triple10)] The tiger does not chase the squirrel.[(triple11)] The tiger is not round.[(triple12)] @1: The cow visits the tiger.[(((triple2) -> rule1))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple3
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple6
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple7
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple8
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple9
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple10
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
triple11
The tiger is not round.
("tiger" "is" "round" "-")
triple12
The cow visits the tiger.
("cow" "visits" "tiger" "+")
((triple2) -> (rule1 % int1))
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int1