The rabbit is big. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit is young. All round things are big. Rough, big things are round. All rough, big things are nice.
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
All round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
Rough, big things are round.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
All rough, big things are nice.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
The rabbit is young.
True
1
proof
[(triple5)]
("rabbit" "is" "young" "+")
triple5
The rabbit is not rough.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "rough" "-")
triple3
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The rabbit is big.[(triple1 OR ((triple4) -> rule1))] The rabbit is nice.[(triple2 OR ((triple3 triple1) -> rule3) OR ((triple3 ((triple4) -> rule1)) -> rule3))] The rabbit is rough.[(triple3)] The rabbit is round.[(triple4 OR ((triple3 triple1) -> rule2))] The rabbit is young.[(triple5)]
The rabbit is big.
("rabbit" "is" "big" "+")
triple1
((triple4) -> (rule1 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple2
((triple3 triple1) -> (rule3 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
((triple3 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple3
The rabbit is round.
("rabbit" "is" "round" "+")
triple4
((triple3 triple1) -> (rule2 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
triple5