The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is nice. The rabbit is round. All big things are kind.
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
All big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
The rabbit is big.
True
1
proof
[(triple1)]
("rabbit" "is" "big" "+")
triple1
The rabbit is not nice.
False
1
inv-proof
[(triple4)]
("rabbit" "is" "nice" "-")
triple4
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is kind.[(triple3 OR ((triple1) -> rule1))] The rabbit is nice.[(triple4)] The rabbit is round.[(triple5)]
The rabbit is big.
("rabbit" "is" "big" "+")
triple1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple3
((triple1) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5