The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit is round. If the rabbit is red and the rabbit is not rough then the rabbit is nice. Kind people are nice.
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If the rabbit is red and the rabbit is not rough then the rabbit is nice.
((("rabbit" "is" "red" "+") ("rabbit" "is" "rough" "~")) -> ("rabbit" "is" "nice" "+"))
Kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
The rabbit is kind.
True
1
proof
[(triple1)]
("rabbit" "is" "kind" "+")
triple1
The rabbit is not round.
False
1
inv-proof
[(triple5)]
("rabbit" "is" "round" "-")
triple5
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The rabbit is kind.[(triple1)] The rabbit is nice.[(triple2 OR ((triple1) -> rule2))] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5)]
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple1
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple2
((triple1) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5