The bald eagle visits the squirrel. The rabbit chases the tiger. The squirrel is kind. The tiger is blue. If something eats the tiger then the tiger eats the bald eagle. If something visits the squirrel then it is kind. If something eats the squirrel then the squirrel is cold.
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
If something eats the tiger then the tiger eats the bald eagle.
((("something" "eats" "tiger" "+")) -> ("tiger" "eats" "bald eagle" "+"))
If something visits the squirrel then it is kind.
((("something" "visits" "squirrel" "+")) -> ("something" "is" "kind" "+"))
If something eats the squirrel then the squirrel is cold.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "is" "cold" "+"))
The tiger is blue.
True
1
proof
[(triple4)]
("tiger" "is" "blue" "+")
triple4
The rabbit does not chase the tiger.
False
1
inv-proof
[(triple2)]
("rabbit" "chases" "tiger" "-")
triple2
The bald eagle is kind.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is not kind.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "is" "kind" "-")
((triple1) -> (rule2 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "cold" "-")
The tiger eats the bald eagle.
Unknown
rconc
[@1: The tiger eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "bald eagle" "+")
The tiger is not cold.
Unknown
inv-random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "-")
The bald eagle eats the squirrel.
Unknown
random
[@0: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "squirrel" "+")
@0: The bald eagle visits the squirrel.[(triple1)] The rabbit chases the tiger.[(triple2)] The squirrel is kind.[(triple3)] The tiger is blue.[(triple4)] @1: The bald eagle is kind.[(((triple1) -> rule2))]
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3
The tiger is blue.
("tiger" "is" "blue" "+")
triple4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1