The bald eagle likes the cow. The cow is red. The squirrel is rough. If someone likes the bald eagle and the bald eagle likes the squirrel then they are nice. If someone is rough and they visit the squirrel then the squirrel likes the bald eagle. If someone is nice then they are blue. If someone chases the cow then they visit the cow. If someone chases the squirrel then the squirrel chases the cow. If the cow likes the squirrel then the cow chases the squirrel. If someone is red then they chase the cow. If the cow chases the squirrel then the cow is red.
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cow is red.
("cow" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If someone likes the bald eagle and the bald eagle likes the squirrel then they are nice.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "likes" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and they visit the squirrel then the squirrel likes the bald eagle.
((("someone" "is" "rough" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "likes" "bald eagle" "+"))
If someone is nice then they are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone chases the cow then they visit the cow.
((("someone" "chases" "cow" "+")) -> ("someone" "visits" "cow" "+"))
If someone chases the squirrel then the squirrel chases the cow.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "chases" "cow" "+"))
If the cow likes the squirrel then the cow chases the squirrel.
((("cow" "likes" "squirrel" "+")) -> ("cow" "chases" "squirrel" "+"))
If someone is red then they chase the cow.
((("someone" "is" "red" "+")) -> ("someone" "chases" "cow" "+"))
If the cow chases the squirrel then the cow is red.
((("cow" "chases" "squirrel" "+")) -> ("cow" "is" "red" "+"))
The squirrel is rough.
True
1
proof
[(triple3)]
("squirrel" "is" "rough" "+")
triple3
The squirrel is not rough.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "rough" "-")
triple3
The cow chases the cow.
True
2
proof
[(((triple2) -> rule7))]
("cow" "chases" "cow" "+")
((triple2) -> (rule7 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow does not chase the cow.
False
2
inv-proof
[(((triple2) -> rule7))]
("cow" "chases" "cow" "-")
((triple2) -> (rule7 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow visits the cow.
True
3
proof
[(((((triple2) -> rule7)) -> rule4))]
("cow" "visits" "cow" "+")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow does not visit the cow.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule4))]
("cow" "visits" "cow" "-")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "nice" "-")
The squirrel is nice.
Unknown
rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "nice" "+")
The cow is not blue.
Unknown
inv-rconc
[@2: The cow is blue.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("cow" "is" "blue" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
The cow does not visit the bald eagle.
Unknown
inv-random
[@0: The cow visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "bald eagle" "-")
The cow chases the bald eagle.
Unknown
random
[@0: The cow chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bald eagle" "+")
@0: The bald eagle likes the cow.[(triple1)] The cow is red.[(triple2)] The squirrel is rough.[(triple3)] @1: The cow chases the cow.[(((triple2) -> rule7))] @2: The cow visits the cow.[(((((triple2) -> rule7)) -> rule4))]
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple3
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple2) -> (rule7 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2