The rabbit is green. The rabbit is kind. The rabbit is red. If the rabbit is kind and the rabbit is not round then the rabbit is not big. All green, kind things are big.
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If the rabbit is kind and the rabbit is not round then the rabbit is not big.
((("rabbit" "is" "kind" "+") ("rabbit" "is" "round" "~")) -> ("rabbit" "is" "big" "-"))
All green, kind things are big.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
The rabbit is green.
True
1
proof
[(triple1)]
("rabbit" "is" "green" "+")
triple1
The rabbit is not kind.
False
1
inv-proof
[(triple2)]
("rabbit" "is" "kind" "-")
triple2
The rabbit is big.
True
3
proof
[(((triple1 triple2) -> rule2))]
("rabbit" "is" "big" "+")
((triple1 triple2) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is not big.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("rabbit" "is" "big" "-")
((triple1 triple2) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The rabbit is green.[(triple1)] The rabbit is kind.[(triple2)] The rabbit is red.[(triple3)] @1: The rabbit is big.[(((triple1 triple2) -> rule2))]
The rabbit is green.
("rabbit" "is" "green" "+")
triple1
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple2
The rabbit is red.
("rabbit" "is" "red" "+")
triple3
The rabbit is big.
("rabbit" "is" "big" "+")
((triple1 triple2) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1