The mouse is big. The mouse is blue. The mouse is kind. The mouse needs the rabbit. The mouse sees the rabbit. The mouse visits the rabbit. The rabbit is blue. The rabbit is kind. The rabbit is round. The rabbit needs the mouse. The rabbit sees the mouse. The rabbit visits the mouse. If the rabbit visits the mouse and the mouse visits the rabbit then the rabbit is blue.
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If the rabbit visits the mouse and the mouse visits the rabbit then the rabbit is blue.
((("rabbit" "visits" "mouse" "+") ("mouse" "visits" "rabbit" "+")) -> ("rabbit" "is" "blue" "+"))
The mouse is blue.
True
1
proof
[(triple2)]
("mouse" "is" "blue" "+")
triple2
The mouse is not big.
False
1
inv-proof
[(triple1)]
("mouse" "is" "big" "-")
triple1
The mouse is not round.
Unknown
inv-random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2)] The mouse is kind.[(triple3)] The mouse needs the rabbit.[(triple4)] The mouse sees the rabbit.[(triple5)] The mouse visits the rabbit.[(triple6)] The rabbit is blue.[(triple7 OR ((triple12 triple6) -> rule1))] The rabbit is kind.[(triple8)] The rabbit is round.[(triple9)] The rabbit needs the mouse.[(triple10)] The rabbit sees 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 kind.
("mouse" "is" "kind" "+")
triple3
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple5
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple6
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple7
((triple12 triple6) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple8
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple10
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple11
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple12