The bear eats the rabbit. The bear is cold. The bear is kind. The bear is round. The bear needs the rabbit. The bear visits the rabbit. The rabbit eats the bear. The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit needs the bear. The rabbit visits the bear. If something needs the bear then it visits the rabbit.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If something needs the bear then it visits the rabbit.
((("something" "needs" "bear" "+")) -> ("something" "visits" "rabbit" "+"))
The rabbit needs the bear.
True
1
proof
[(triple11)]
("rabbit" "needs" "bear" "+")
triple11
The bear is not cold.
False
1
inv-proof
[(triple2)]
("bear" "is" "cold" "-")
triple2
The rabbit visits the rabbit.
True
2
proof
[(((triple11) -> rule1))]
("rabbit" "visits" "rabbit" "+")
((triple11) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit does not visit the rabbit.
False
2
inv-proof
[(((triple11) -> rule1))]
("rabbit" "visits" "rabbit" "-")
((triple11) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
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 bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear eats the rabbit.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is round.[(triple4)] The bear needs the rabbit.[(triple5)] The bear visits the rabbit.[(triple6)] The rabbit eats the bear.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is green.[(triple9)] The rabbit is nice.[(triple10)] The rabbit needs the bear.[(triple11)] The rabbit visits the bear.[(triple12)] @1: The rabbit visits the rabbit.[(((triple11) -> rule1))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple5
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple6
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple7
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple10
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple11
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple12
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((triple11) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1