The mouse is cold. The mouse is green. The mouse is young. Green people are round. All green people are round. If the mouse is young and the mouse is round then the mouse is big. If someone is cold and not round then they are big. If someone is big and not round then they are cold. If someone is big and not green then they are cold.
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is young.
("mouse" "is" "young" "+")
Green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
All green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If the mouse is young and the mouse is round then the mouse is big.
((("mouse" "is" "young" "+") ("mouse" "is" "round" "+")) -> ("mouse" "is" "big" "+"))
If someone is cold and not round then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "big" "+"))
If someone is big and not round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "cold" "+"))
If someone is big and not green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "cold" "+"))
The mouse is green.
True
1
proof
[(triple2)]
("mouse" "is" "green" "+")
triple2
The mouse is not green.
False
1
inv-proof
[(triple2)]
("mouse" "is" "green" "-")
triple2
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 chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The mouse is cold.[(triple1)] The mouse is green.[(triple2)] The mouse is young.[(triple3)] @1: The mouse is round.[(((triple2) -> rule1) OR ((triple2) -> rule2))] @2: The mouse is big.[(((triple3 ((triple2) -> rule1)) -> rule3) OR ((triple3 ((triple2) -> rule2)) -> rule3))]
The mouse is cold.
("mouse" "is" "cold" "+")
triple1
The mouse is green.
("mouse" "is" "green" "+")
triple2
The mouse is young.
("mouse" "is" "young" "+")
triple3
The mouse is round.
("mouse" "is" "round" "+")
((triple2) -> (rule1 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
((triple2) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
((triple3 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
((triple3 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2