The rabbit is blue. The rabbit is cold. The rabbit is nice. The rabbit is round. The rabbit is young. If the rabbit is young then the rabbit is cold.
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If the rabbit is young then the rabbit is cold.
((("rabbit" "is" "young" "+")) -> ("rabbit" "is" "cold" "+"))
The rabbit is blue.
True
1
proof
[(triple1)]
("rabbit" "is" "blue" "+")
triple1
The rabbit is not nice.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "nice" "-")
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 visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The rabbit is blue.[(triple1)] The rabbit is cold.[(triple2 OR ((triple5) -> rule1))] The rabbit is nice.[(triple3)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)]
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple1
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple2
((triple5) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple3
The rabbit is round.
("rabbit" "is" "round" "+")
triple4
The rabbit is young.
("rabbit" "is" "young" "+")
triple5