The mouse is big. The mouse is cold. The mouse is green. The mouse is nice. The mouse is young. All cold, nice things are green.
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is young.
("mouse" "is" "young" "+")
All cold, nice things are green.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
The mouse is green.
True
1
proof
[(triple3 OR ((triple2 triple4) -> rule1))]
("mouse" "is" "green" "+")
triple3
((triple2 triple4) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is not nice.
False
1
inv-proof
[(triple4)]
("mouse" "is" "nice" "-")
triple4
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The mouse is big.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3 OR ((triple2 triple4) -> rule1))] The mouse is nice.[(triple4)] The mouse is young.[(triple5)]
The mouse is big.
("mouse" "is" "big" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse is green.
("mouse" "is" "green" "+")
triple3
((triple2 triple4) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5