The bald eagle chases the mouse. The mouse chases the bald eagle. The mouse is blue. The mouse is red. The mouse likes the bald eagle. The mouse sees the bald eagle. The rabbit chases the bald eagle. The rabbit is blue. The rabbit is nice. The rabbit likes the bald eagle. The rabbit sees the bald eagle. The rabbit sees the mouse. If someone is red and they see the rabbit then they like the bald eagle.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If someone is red and they see the rabbit then they like the bald eagle.
((("someone" "is" "red" "+") ("someone" "sees" "rabbit" "+")) -> ("someone" "likes" "bald eagle" "+"))
The rabbit sees the mouse.
True
1
proof
[(triple12)]
("rabbit" "sees" "mouse" "+")
triple12
The mouse is not blue.
False
1
inv-proof
[(triple3)]
("mouse" "is" "blue" "-")
triple3
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The bald eagle chases the mouse.[(triple1)] The mouse chases the bald eagle.[(triple2)] The mouse is blue.[(triple3)] The mouse is red.[(triple4)] The mouse likes the bald eagle.[(triple5)] The mouse sees the bald eagle.[(triple6)] The rabbit chases the bald eagle.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is nice.[(triple9)] The rabbit likes the bald eagle.[(triple10)] The rabbit sees the bald eagle.[(triple11)] The rabbit sees the mouse.[(triple12)]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple2
The mouse is blue.
("mouse" "is" "blue" "+")
triple3
The mouse is red.
("mouse" "is" "red" "+")
triple4
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple5
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple6
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple9
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple10
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple11
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple12