The bald eagle is rough. The lion does not chase the rabbit. The rabbit chases the lion. The rabbit is big. The squirrel is nice. The squirrel likes the rabbit. The squirrel visits the bald eagle. If something visits the squirrel and the squirrel does not chase the lion then the lion visits the rabbit. If something visits the lion and it is not cold then the lion does not visit the rabbit. If something visits the lion and the lion is big then it likes the squirrel. All big things are red. If the bald eagle chases the rabbit and the rabbit does not like the lion then the bald eagle visits the squirrel. If something is cold and big then it does not like the rabbit.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The lion does not chase the rabbit.
("lion" "chases" "rabbit" "-")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If something visits the squirrel and the squirrel does not chase the lion then the lion visits the rabbit.
((("something" "visits" "squirrel" "+") ("squirrel" "chases" "lion" "~")) -> ("lion" "visits" "rabbit" "+"))
If something visits the lion and it is not cold then the lion does not visit the rabbit.
((("something" "visits" "lion" "+") ("something" "is" "cold" "~")) -> ("lion" "visits" "rabbit" "-"))
If something visits the lion and the lion is big then it likes the squirrel.
((("something" "visits" "lion" "+") ("lion" "is" "big" "+")) -> ("something" "likes" "squirrel" "+"))
All big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If the bald eagle chases the rabbit and the rabbit does not like the lion then the bald eagle visits the squirrel.
((("bald eagle" "chases" "rabbit" "+") ("rabbit" "likes" "lion" "~")) -> ("bald eagle" "visits" "squirrel" "+"))
If something is cold and big then it does not like the rabbit.
((("something" "is" "cold" "+") ("something" "is" "big" "+")) -> ("something" "likes" "rabbit" "-"))
The squirrel visits the bald eagle.
True
1
proof
[(triple7)]
("squirrel" "visits" "bald eagle" "+")
triple7
The lion chases the rabbit.
False
1
inv-proof
[(triple2)]
("lion" "chases" "rabbit" "+")
triple2
The rabbit does not like the squirrel.
Unknown
inv-rconc
[@1: The rabbit likes the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "likes" "squirrel" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle is rough.[(triple1)] The lion does not chase the rabbit.[(triple2)] The rabbit chases the lion.[(triple3)] The rabbit is big.[(triple4)] The squirrel is nice.[(triple5)] The squirrel likes the rabbit.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The rabbit is red.[(((triple4) -> rule4))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The lion does not chase the rabbit.
("lion" "chases" "rabbit" "-")
triple2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple3
The rabbit is big.
("rabbit" "is" "big" "+")
triple4
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple5
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple6
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple7
The rabbit is red.
("rabbit" "is" "red" "+")
((triple4) -> (rule4 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1