The bald eagle likes the tiger. The mouse likes the tiger. The squirrel is cold. The tiger eats the mouse. If the bald eagle eats the squirrel and the squirrel is blue then the bald eagle is rough. If someone is cold and blue then they visit the tiger. If someone eats the squirrel and the squirrel eats the tiger then the tiger is rough. If someone eats the squirrel and the squirrel visits the tiger then the tiger is kind. If someone is cold then they visit the bald eagle. If the bald eagle eats the tiger and the tiger is blue then the tiger eats the mouse. If someone is cold then they visit the bald eagle. If someone is rough and they eat the squirrel then the squirrel is blue.
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
If the bald eagle eats the squirrel and the squirrel is blue then the bald eagle is rough.
((("bald eagle" "eats" "squirrel" "+") ("squirrel" "is" "blue" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone is cold and blue then they visit the tiger.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "visits" "tiger" "+"))
If someone eats the squirrel and the squirrel eats the tiger then the tiger is rough.
((("someone" "eats" "squirrel" "+") ("squirrel" "eats" "tiger" "+")) -> ("tiger" "is" "rough" "+"))
If someone eats the squirrel and the squirrel visits the tiger then the tiger is kind.
((("someone" "eats" "squirrel" "+") ("squirrel" "visits" "tiger" "+")) -> ("tiger" "is" "kind" "+"))
If someone is cold then they visit the bald eagle.
((("someone" "is" "cold" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the bald eagle eats the tiger and the tiger is blue then the tiger eats the mouse.
((("bald eagle" "eats" "tiger" "+") ("tiger" "is" "blue" "+")) -> ("tiger" "eats" "mouse" "+"))
If someone is cold then they visit the bald eagle.
((("someone" "is" "cold" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone is rough and they eat the squirrel then the squirrel is blue.
((("someone" "is" "rough" "+") ("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
The squirrel is cold.
True
1
proof
[(triple3)]
("squirrel" "is" "cold" "+")
triple3
The squirrel is not cold.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "cold" "-")
triple3
The squirrel visits the bald eagle.
True
2
proof
[(((triple3) -> rule5) OR ((triple3) -> rule7))]
("squirrel" "visits" "bald eagle" "+")
((triple3) -> (rule5 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
((triple3) -> (rule7 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel does not visit the bald eagle.
False
2
inv-proof
[(((triple3) -> rule5) OR ((triple3) -> rule7))]
("squirrel" "visits" "bald eagle" "-")
((triple3) -> (rule5 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
((triple3) -> (rule7 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The tiger is not kind.
Unknown
inv-rconc
[@1: The tiger is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "kind" "-")
The tiger is rough.
Unknown
rconc
[@1: The tiger is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "rough" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
@0: The bald eagle likes the tiger.[(triple1)] The mouse likes the tiger.[(triple2)] The squirrel is cold.[(triple3)] The tiger eats the mouse.[(triple4)] @1: The squirrel visits the bald eagle.[(((triple3) -> rule5) OR ((triple3) -> rule7))]
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple2
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple4
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((triple3) -> (rule5 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
((triple3) -> (rule7 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1