The mouse is big. The mouse is cold. The mouse is nice. The mouse is young. The mouse visits the rabbit. The rabbit eats the mouse. The rabbit is nice. The rabbit is rough. The rabbit needs the mouse. The rabbit visits the mouse. If someone needs the mouse and they visit the rabbit then the mouse visits the rabbit. If someone is cold then they need the rabbit.
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If someone needs the mouse and they visit the rabbit then the mouse visits the rabbit.
((("someone" "needs" "mouse" "+") ("someone" "visits" "rabbit" "+")) -> ("mouse" "visits" "rabbit" "+"))
If someone is cold then they need the rabbit.
((("someone" "is" "cold" "+")) -> ("someone" "needs" "rabbit" "+"))
The mouse is big.
True
1
proof
[(triple1)]
("mouse" "is" "big" "+")
triple1
The mouse is not young.
False
1
inv-proof
[(triple4)]
("mouse" "is" "young" "-")
triple4
The rabbit does not need the rabbit.
Unknown
inv-rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
@0: The mouse is big.[(triple1)] The mouse is cold.[(triple2)] The mouse is nice.[(triple3)] The mouse is young.[(triple4)] The mouse visits the rabbit.[(triple5)] The rabbit eats the mouse.[(triple6)] The rabbit is nice.[(triple7)] The rabbit is rough.[(triple8)] The rabbit needs the mouse.[(triple9)] The rabbit visits the mouse.[(triple10)] @1: The mouse needs the rabbit.[(((triple2) -> rule2))]
The mouse is big.
("mouse" "is" "big" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse is nice.
("mouse" "is" "nice" "+")
triple3
The mouse is young.
("mouse" "is" "young" "+")
triple4
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple5
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple6
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple9
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple10
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
((triple2) -> (rule2 % int1))
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
int1