The rabbit is blue. The rabbit is rough. The rabbit is round. If someone is blue and round then they are rough. If the rabbit is blue then the rabbit is kind. If the rabbit is blue then the rabbit is round. If the rabbit is nice then the rabbit is round. If someone is blue then they are rough. Nice, kind people are round.
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If someone is blue and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If the rabbit is blue then the rabbit is kind.
((("rabbit" "is" "blue" "+")) -> ("rabbit" "is" "kind" "+"))
If the rabbit is blue then the rabbit is round.
((("rabbit" "is" "blue" "+")) -> ("rabbit" "is" "round" "+"))
If the rabbit is nice then the rabbit is round.
((("rabbit" "is" "nice" "+")) -> ("rabbit" "is" "round" "+"))
If someone is blue then they are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Nice, kind people are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
The rabbit is blue.
True
1
proof
[(triple1)]
("rabbit" "is" "blue" "+")
triple1
The rabbit is not rough.
False
1
inv-proof
[(triple2 OR ((triple1) -> rule5) OR ((triple1 triple3) -> rule1) OR ((triple1 ((triple1) -> rule3)) -> rule1))]
("rabbit" "is" "rough" "-")
triple2
((triple1) -> (rule5 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((triple1 triple3) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((triple1 ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The rabbit is blue.[(triple1)] The rabbit is rough.[(triple2 OR ((triple1) -> rule5) OR ((triple1 triple3) -> rule1) OR ((triple1 ((triple1) -> rule3)) -> rule1))] The rabbit is round.[(triple3 OR ((triple1) -> rule3))] @1: The rabbit is kind.[(((triple1) -> rule2))]
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple1
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple2
((triple1) -> (rule5 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((triple1 triple3) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((triple1 ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
triple3
((triple1) -> (rule3 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1