The bald eagle is round. The bald eagle is young. The bald eagle likes the squirrel. The bald eagle visits the cat. The cat chases the bald eagle. The cat is nice. The cat likes the tiger. The cat visits the tiger. The squirrel is big. The squirrel is nice. The squirrel is young. The squirrel does not like the tiger. The squirrel visits the tiger. The tiger is nice. The tiger likes the squirrel. The tiger visits the squirrel. If someone visits the tiger then they are cold. If someone likes the tiger and they are big then they do not visit the tiger.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel does not like the tiger.
("squirrel" "likes" "tiger" "-")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone visits the tiger then they are cold.
((("someone" "visits" "tiger" "+")) -> ("someone" "is" "cold" "+"))
If someone likes the tiger and they are big then they do not visit the tiger.
((("someone" "likes" "tiger" "+") ("someone" "is" "big" "+")) -> ("someone" "visits" "tiger" "-"))
The tiger is nice.
True
1
proof
[(triple14)]
("tiger" "is" "nice" "+")
triple14
The cat is not nice.
False
1
inv-proof
[(triple6)]
("cat" "is" "nice" "-")
triple6
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The cat visits the squirrel.
Unknown
random
[@0: The cat visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "squirrel" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle visits the cat.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat is nice.[(triple6)] The cat likes the tiger.[(triple7)] The cat visits the tiger.[(triple8)] The squirrel does not like the tiger.[(triple12)] The squirrel is big.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is young.[(triple11)] The squirrel visits the tiger.[(triple13)] The tiger is nice.[(triple14)] The tiger likes the squirrel.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The cat is cold.[(((triple8) -> rule1))] The squirrel is cold.[(((triple13) -> rule1))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple4
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple6
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple7
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple8
The squirrel does not like the tiger.
("squirrel" "likes" "tiger" "-")
triple12
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple10
The squirrel is young.
("squirrel" "is" "young" "+")
triple11
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple13
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple15
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple16
The cat is cold.
("cat" "is" "cold" "+")
((triple8) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple13) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1