The mouse is big. The mouse is blue. The mouse is green. The mouse is nice. The mouse is round. If the mouse is round then the mouse is big. Blue, nice things are big. If the mouse is blue and the mouse is round then the mouse is green.
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is round.
("mouse" "is" "round" "+")
If the mouse is round then the mouse is big.
((("mouse" "is" "round" "+")) -> ("mouse" "is" "big" "+"))
Blue, nice things are big.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
If the mouse is blue and the mouse is round then the mouse is green.
((("mouse" "is" "blue" "+") ("mouse" "is" "round" "+")) -> ("mouse" "is" "green" "+"))
The mouse is big.
True
1
proof
[(triple1 OR ((triple5) -> rule1) OR ((triple2 triple4) -> rule2))]
("mouse" "is" "big" "+")
triple1
((triple5) -> (rule1 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
((triple2 triple4) -> (rule2 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is not nice.
False
1
inv-proof
[(triple4)]
("mouse" "is" "nice" "-")
triple4
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "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 big.[(triple1 OR ((triple5) -> rule1) OR ((triple2 triple4) -> rule2))] The mouse is blue.[(triple2)] The mouse is green.[(triple3 OR ((triple2 triple5) -> rule3))] The mouse is nice.[(triple4)] The mouse is round.[(triple5)]
The mouse is big.
("mouse" "is" "big" "+")
triple1
((triple5) -> (rule1 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
((triple2 triple4) -> (rule2 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
triple2
The mouse is green.
("mouse" "is" "green" "+")
triple3
((triple2 triple5) -> (rule3 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse is round.
("mouse" "is" "round" "+")
triple5