The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is round. Round things are green. If something is big and nice then it is kind. All kind things are green. If something is nice and round then it is green. Kind things are nice. Green, round things are kind.
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
Round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is big and nice then it is kind.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
All kind things are green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
If something is nice and round then it is green.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Green, round things are kind.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
The rabbit is big.
True
1
proof
[(triple1)]
("rabbit" "is" "big" "+")
triple1
The rabbit is not big.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "big" "-")
triple1
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The rabbit is big.[(triple1)] The rabbit is green.[(triple2 OR ((triple3) -> rule3) OR ((triple5) -> rule1) OR ((triple4 triple5) -> rule4) OR ((((triple1 triple4) -> rule2)) -> rule3) OR ((((triple3) -> rule5) triple5) -> rule4))] The rabbit is kind.[(triple3 OR ((triple1 triple4) -> rule2) OR ((triple2 triple5) -> rule6) OR ((((triple5) -> rule1) triple5) -> rule6) OR ((((triple4 triple5) -> rule4) triple5) -> rule6))] The rabbit is nice.[(triple4 OR ((triple3) -> rule5) OR ((((triple2 triple5) -> rule6)) -> rule5) OR ((((((triple5) -> rule1) triple5) -> rule6)) -> rule5))] The rabbit is round.[(triple5)]
The rabbit is big.
("rabbit" "is" "big" "+")
triple1
The rabbit is green.
("rabbit" "is" "green" "+")
triple2
((triple3) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
((triple5) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
((triple4 triple5) -> (rule4 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
((((triple1 triple4) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
((((triple3) -> (rule5 % int2)) triple5) -> (rule4 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple3
((triple1 triple4) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
((triple2 triple5) -> (rule6 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
((((triple5) -> (rule1 % int2)) triple5) -> (rule6 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
((((triple4 triple5) -> (rule4 % int2)) triple5) -> (rule6 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple4
((triple3) -> (rule5 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
((((triple2 triple5) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
((((((triple5) -> (rule1 % int3)) triple5) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit is round.
("rabbit" "is" "round" "+")
triple5