The rabbit is kind. The rabbit is round. The rabbit is young. If something is round and blue then it is kind. If the rabbit is young and the rabbit is kind then the rabbit is blue. If something is cold then it is round. If the rabbit is cold then the rabbit is kind. All blue, cold things are young. If the rabbit is kind and the rabbit is cold then the rabbit is blue. If something is kind and young then it is blue. If something is cold then it is round.
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If something is round and blue then it is kind.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If the rabbit is young and the rabbit is kind then the rabbit is blue.
((("rabbit" "is" "young" "+") ("rabbit" "is" "kind" "+")) -> ("rabbit" "is" "blue" "+"))
If something is cold then it is round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If the rabbit is cold then the rabbit is kind.
((("rabbit" "is" "cold" "+")) -> ("rabbit" "is" "kind" "+"))
All blue, cold things are young.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If the rabbit is kind and the rabbit is cold then the rabbit is blue.
((("rabbit" "is" "kind" "+") ("rabbit" "is" "cold" "+")) -> ("rabbit" "is" "blue" "+"))
If something is kind and young then it is blue.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If something is cold then it is round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
The rabbit is young.
True
1
proof
[(triple3)]
("rabbit" "is" "young" "+")
triple3
The rabbit is not kind.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "kind" "-")
triple1
The rabbit is not cold.
Unknown
inv-random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "-")
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 kind.[(triple1)] The rabbit is round.[(triple2)] The rabbit is young.[(triple3)] @1: The rabbit is blue.[(((triple1 triple3) -> rule7) OR ((triple3 triple1) -> rule2))]
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple1
The rabbit is round.
("rabbit" "is" "round" "+")
triple2
The rabbit is young.
("rabbit" "is" "young" "+")
triple3
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple1 triple3) -> (rule7 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
((triple3 triple1) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1