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