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