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