The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit is round. The rabbit is young. Green, young things are cold. If something is nice and green then it is cold. All young, green things are nice.
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
Green, young things are cold.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If something is nice and green then it is cold.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
All young, green things are nice.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
The rabbit is cold.
True
1
proof
[(triple1 OR ((triple2 triple5) -> rule1) OR ((triple3 triple2) -> rule2) OR ((((triple5 triple2) -> rule3) triple2) -> rule2))]
("rabbit" "is" "cold" "+")
triple1
((triple2 triple5) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((triple3 triple2) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((((triple5 triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is not nice.
False
1
inv-proof
[(triple3 OR ((triple5 triple2) -> rule3))]
("rabbit" "is" "nice" "-")
triple3
((triple5 triple2) -> (rule3 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The rabbit is cold.[(triple1 OR ((triple2 triple5) -> rule1) OR ((triple3 triple2) -> rule2) OR ((((triple5 triple2) -> rule3) triple2) -> rule2))] The rabbit is green.[(triple2)] The rabbit is nice.[(triple3 OR ((triple5 triple2) -> rule3))] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)]
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple1
((triple2 triple5) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((triple3 triple2) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((((triple5 triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
triple2
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple3
((triple5 triple2) -> (rule3 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
triple4
The rabbit is young.
("rabbit" "is" "young" "+")
triple5