The bald eagle chases the mouse. The bald eagle likes the mouse. The bald eagle visits the dog. The bald eagle visits the mouse. The dog chases the squirrel. The mouse likes the bald eagle. The mouse likes the dog. The mouse visits the dog. The squirrel chases the mouse. The squirrel is red. The squirrel visits the bald eagle. The squirrel visits the mouse. If the bald eagle visits the squirrel then the bald eagle chases the mouse. If someone is red and they like the squirrel then they are green. If someone likes the mouse and they chase the dog then the mouse likes the squirrel. If someone is cold then they are kind. If someone is red then they are cold. If the bald eagle likes the squirrel and the bald eagle chases the mouse then the squirrel visits the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If the bald eagle visits the squirrel then the bald eagle chases the mouse.
((("bald eagle" "visits" "squirrel" "+")) -> ("bald eagle" "chases" "mouse" "+"))
If someone is red and they like the squirrel then they are green.
((("someone" "is" "red" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "is" "green" "+"))
If someone likes the mouse and they chase the dog then the mouse likes the squirrel.
((("someone" "likes" "mouse" "+") ("someone" "chases" "dog" "+")) -> ("mouse" "likes" "squirrel" "+"))
If someone is cold then they are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is red then they are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If the bald eagle likes the squirrel and the bald eagle chases the mouse then the squirrel visits the mouse.
((("bald eagle" "likes" "squirrel" "+") ("bald eagle" "chases" "mouse" "+")) -> ("squirrel" "visits" "mouse" "+"))
The bald eagle likes the mouse.
True
1
proof
[(triple2)]
("bald eagle" "likes" "mouse" "+")
triple2
The mouse does not visit the dog.
False
1
inv-proof
[(triple8)]
("mouse" "visits" "dog" "-")
triple8
The squirrel is cold.
True
2
proof
[(((triple10) -> rule5))]
("squirrel" "is" "cold" "+")
((triple10) -> (rule5 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is not cold.
False
2
inv-proof
[(((triple10) -> rule5))]
("squirrel" "is" "cold" "-")
((triple10) -> (rule5 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is kind.
True
3
proof
[(((((triple10) -> rule5)) -> rule4))]
("squirrel" "is" "kind" "+")
((((triple10) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel is not kind.
False
3
inv-proof
[(((((triple10) -> rule5)) -> rule4))]
("squirrel" "is" "kind" "-")
((((triple10) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "is" "cold" "-")
The dog is green.
Unknown
rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "green" "+")
The dog is not kind.
Unknown
inv-rconc
[@2: The dog is kind.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("dog" "is" "kind" "-")
The dog visits the bald eagle.
Unknown
random
[@0: The dog visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bald eagle" "+")
The mouse does not visit the squirrel.
Unknown
inv-random
[@0: The mouse visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "squirrel" "-")
The mouse chases the bald eagle.
Unknown
random
[@0: The mouse chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "bald eagle" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle visits the dog.[(triple3)] The bald eagle visits the mouse.[(triple4)] The dog chases the squirrel.[(triple5)] The mouse likes the bald eagle.[(triple6)] The mouse likes the dog.[(triple7)] The mouse visits the dog.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel is red.[(triple10)] The squirrel visits the bald eagle.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The squirrel is cold.[(((triple10) -> rule5))] @2: The squirrel is kind.[(((((triple10) -> rule5)) -> rule4))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple3
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple4
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple5
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple6
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple7
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple8
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
The squirrel is red.
("squirrel" "is" "red" "+")
triple10
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple11
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple12
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple10) -> (rule5 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((((triple10) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2