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