The mouse is blue. The mouse is not cold. The mouse is green. The mouse is kind. The mouse is rough. If something is green and kind then it is blue. If something is rough and not kind then it is blue. If something is green then it is blue. All cold things are not blue. If something is green and cold then it is blue. If something is kind and not cold then it is green. All blue, kind things are green. Blue, cold things are rough.
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is not cold.
("mouse" "is" "cold" "-")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
If something is green and kind then it is blue.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
If something is rough and not kind then it is blue.
((("something" "is" "rough" "+") ("something" "is" "kind" "~")) -> ("something" "is" "blue" "+"))
If something is green then it is blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
All cold things are not blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "-"))
If something is green and cold then it is blue.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something is kind and not cold then it is green.
((("something" "is" "kind" "+") ("something" "is" "cold" "~")) -> ("something" "is" "green" "+"))
All blue, kind things are green.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
Blue, cold things are rough.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
The mouse is kind.
True
1
proof
[(triple4)]
("mouse" "is" "kind" "+")
triple4
The mouse is not rough.
False
1
inv-proof
[(triple5)]
("mouse" "is" "rough" "-")
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 eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The mouse is blue.[(triple1 OR ((triple3) -> rule3) OR ((triple3 triple4) -> rule1) OR ((((triple4 triple2) -> rule6)) -> rule3) OR ((((triple4 triple2) -> rule6) triple4) -> rule1))] The mouse is green.[(triple3 OR ((triple1 triple4) -> rule7) OR ((triple4 triple2) -> rule6))] The mouse is kind.[(triple4)] The mouse is not cold.[(triple2)] The mouse is rough.[(triple5)]
The mouse is blue.
("mouse" "is" "blue" "+")
triple1
((triple3) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
((triple3 triple4) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
((((triple4 triple2) -> (rule6 % int2))) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
((((triple4 triple2) -> (rule6 % int2)) triple4) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The mouse is green.
("mouse" "is" "green" "+")
triple3
((triple1 triple4) -> (rule7 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
((triple4 triple2) -> (rule6 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
triple4
The mouse is not cold.
("mouse" "is" "cold" "-")
triple2
The mouse is rough.
("mouse" "is" "rough" "+")
triple5