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