The bear eats the tiger. The bear is big. The bear is cold. The bear does not like the tiger. The rabbit eats the squirrel. The rabbit likes the squirrel. The squirrel eats the bear. The squirrel does not eat the tiger. The squirrel is big. The squirrel visits the tiger. The tiger eats the rabbit. The tiger is cold. The tiger is nice. The tiger visits the bear. The tiger does not visit the rabbit. If something is young and not cold then it visits the bear. If something eats the bear then the bear is blue.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
The tiger does not visit the rabbit.
("tiger" "visits" "rabbit" "-")
If something is young and not cold then it visits the bear.
((("something" "is" "young" "+") ("something" "is" "cold" "~")) -> ("something" "visits" "bear" "+"))
If something eats the bear then the bear is blue.
((("something" "eats" "bear" "+")) -> ("bear" "is" "blue" "+"))
The bear does not like the tiger.
True
1
proof
[(triple4)]
("bear" "likes" "tiger" "-")
triple4
The bear is not big.
False
1
inv-proof
[(triple2)]
("bear" "is" "big" "-")
triple2
The bear is blue.
True
2
proof
[(((triple7) -> rule2))]
("bear" "is" "blue" "+")
((triple7) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not blue.
False
2
inv-proof
[(((triple7) -> rule2))]
("bear" "is" "blue" "-")
((triple7) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The squirrel does not visit the bear.
Unknown
inv-rconc
[@1: The squirrel visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "bear" "-")
The bear visits the bear.
Unknown
rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "bear" "+")
The tiger does not visit the squirrel.
Unknown
inv-random
[@0: The tiger visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "squirrel" "-")
The rabbit visits the tiger.
Unknown
random
[@0: The rabbit visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "tiger" "+")
@0: The bear does not like the tiger.[(triple4)] The bear eats the tiger.[(triple1)] The bear is big.[(triple2)] The bear is cold.[(triple3)] The rabbit eats the squirrel.[(triple5)] The rabbit likes the squirrel.[(triple6)] The squirrel does not eat the tiger.[(triple8)] The squirrel eats the bear.[(triple7)] The squirrel is big.[(triple9)] The squirrel visits the tiger.[(triple10)] The tiger does not visit the rabbit.[(triple15)] The tiger eats the rabbit.[(triple11)] The tiger is cold.[(triple12)] The tiger is nice.[(triple13)] The tiger visits the bear.[(triple14)] @1: The bear is blue.[(((triple7) -> rule2))]
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
triple4
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple5
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple6
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
triple8
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple10
The tiger does not visit the rabbit.
("tiger" "visits" "rabbit" "-")
triple15
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple11
The tiger is cold.
("tiger" "is" "cold" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple14
The bear is blue.
("bear" "is" "blue" "+")
((triple7) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1