The mouse is blue. The mouse is green. The mouse is nice. The mouse is rough. The mouse is round. All nice, green people are blue.
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
All nice, green people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
The mouse is green.
True
1
proof
[(triple2)]
("mouse" "is" "green" "+")
triple2
The mouse is not round.
False
1
inv-proof
[(triple5)]
("mouse" "is" "round" "-")
triple5
The mouse does not visit the mouse.
Unknown
inv-random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The mouse is blue.[(triple1 OR ((triple3 triple2) -> rule1))] The mouse is green.[(triple2)] The mouse is nice.[(triple3)] The mouse is rough.[(triple4)] The mouse is round.[(triple5)]
The mouse is blue.
("mouse" "is" "blue" "+")
triple1
((triple3 triple2) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
triple2
The mouse is nice.
("mouse" "is" "nice" "+")
triple3
The mouse is rough.
("mouse" "is" "rough" "+")
triple4
The mouse is round.
("mouse" "is" "round" "+")
triple5