The rabbit is blue. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit is young. All rough, young things are red. All red things are rough.
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
All rough, young things are red.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
All red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
The rabbit is young.
True
1
proof
[(triple5)]
("rabbit" "is" "young" "+")
triple5
The rabbit is not rough.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule2))]
("rabbit" "is" "rough" "-")
triple3
((triple2) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
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 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 red.[(triple2 OR ((triple3 triple5) -> rule1))] The rabbit is rough.[(triple3 OR ((triple2) -> rule2))] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)]
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple1
The rabbit is red.
("rabbit" "is" "red" "+")
triple2
((triple3 triple5) -> (rule1 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple3
((triple2) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
triple4
The rabbit is young.
("rabbit" "is" "young" "+")
triple5