The rabbit is big. The rabbit is blue. The rabbit is not cold. The rabbit is kind. The rabbit is round. Round people are big. If someone is blue and cold then they are big. Cold, blue people are round.
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is not cold.
("rabbit" "is" "cold" "-")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
Round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and cold then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Cold, blue people are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
The rabbit is round.
True
1
proof
[(triple5)]
("rabbit" "is" "round" "+")
triple5
The rabbit is cold.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "cold" "+")
triple3
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 eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The rabbit is big.[(triple1 OR ((triple5) -> rule1))] The rabbit is blue.[(triple2)] The rabbit is kind.[(triple4)] The rabbit is not cold.[(triple3)] The rabbit is round.[(triple5)]
The rabbit is big.
("rabbit" "is" "big" "+")
triple1
((triple5) -> (rule1 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple4
The rabbit is not cold.
("rabbit" "is" "cold" "-")
triple3
The rabbit is round.
("rabbit" "is" "round" "+")
triple5