The bald eagle is cold. The bald eagle likes the squirrel. The bald eagle likes the tiger. The bald eagle sees the squirrel. The bald eagle sees the tiger. The bald eagle visits the squirrel. The squirrel is blue. The squirrel likes the tiger. The squirrel visits the bald eagle. The tiger is cold. The tiger is round. The tiger does not like the bald eagle. The tiger likes the squirrel. The tiger sees the bald eagle. The tiger does not see the squirrel. The tiger visits the squirrel. If something sees the squirrel then the squirrel visits the bald eagle. If something sees the tiger and it does not like the bald eagle then the bald eagle sees the tiger. If something sees the squirrel and it is red then it sees the bald eagle. If something visits the tiger then the tiger is blue. All red things are not cold. If something is cold and it sees the tiger then it does not visit the tiger. If something sees the tiger then it visits the bald eagle. If something visits the squirrel and it is cold then it is blue.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger does not see the squirrel.
("tiger" "sees" "squirrel" "-")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If something sees the squirrel then the squirrel visits the bald eagle.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
If something sees the tiger and it does not like the bald eagle then the bald eagle sees the tiger.
((("something" "sees" "tiger" "+") ("something" "likes" "bald eagle" "~")) -> ("bald eagle" "sees" "tiger" "+"))
If something sees the squirrel and it is red then it sees the bald eagle.
((("something" "sees" "squirrel" "+") ("something" "is" "red" "+")) -> ("something" "sees" "bald eagle" "+"))
If something visits the tiger then the tiger is blue.
((("something" "visits" "tiger" "+")) -> ("tiger" "is" "blue" "+"))
All red things are not cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "-"))
If something is cold and it sees the tiger then it does not visit the tiger.
((("something" "is" "cold" "+") ("something" "sees" "tiger" "+")) -> ("something" "visits" "tiger" "-"))
If something sees the tiger then it visits the bald eagle.
((("something" "sees" "tiger" "+")) -> ("something" "visits" "bald eagle" "+"))
If something visits the squirrel and it is cold then it is blue.
((("something" "visits" "squirrel" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
The tiger visits the squirrel.
True
1
proof
[(triple16)]
("tiger" "visits" "squirrel" "+")
triple16
The squirrel does not like the tiger.
False
1
inv-proof
[(triple8)]
("squirrel" "likes" "tiger" "-")
triple8
The squirrel does not see the bald eagle.
Unknown
inv-rconc
[@1: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "sees" "bald eagle" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The bald eagle sees the tiger.[(triple5)] The bald eagle visits the squirrel.[(triple6)] The squirrel is blue.[(triple7)] The squirrel likes the tiger.[(triple8)] The squirrel visits the bald eagle.[(triple9 OR ((triple4) -> rule1))] The tiger does not like the bald eagle.[(triple12)] The tiger does not see the squirrel.[(triple15)] The tiger is cold.[(triple10)] The tiger is round.[(triple11)] The tiger likes the squirrel.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger visits the squirrel.[(triple16)] @1: The bald eagle does not visit the tiger.[(((triple1 triple5) -> rule6))] The bald eagle is blue.[(((triple6 triple1) -> rule8))] The bald eagle visits the bald eagle.[(((triple5) -> rule7))] The tiger is blue.[(((triple16 triple10) -> rule8))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple4
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple5
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple6
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple7
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple8
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple9
((triple4) -> (rule1 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
triple12
The tiger does not see the squirrel.
("tiger" "sees" "squirrel" "-")
triple15
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The tiger is round.
("tiger" "is" "round" "+")
triple11
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple13
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple14
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple16
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
((triple1 triple5) -> (rule6 % int1))
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple6 triple1) -> (rule8 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple5) -> (rule7 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
((triple16 triple10) -> (rule8 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1