The bear chases the squirrel. The bear is cold. The bear is nice. The bear is red. The bear is round. The bear needs the squirrel. The bear visits the rabbit. The bear visits the squirrel. The rabbit is cold. The squirrel does not chase the bear. The squirrel is kind. The squirrel is nice. The squirrel is not round. The squirrel needs the bear. The squirrel needs the rabbit. The squirrel does not visit the rabbit. If the bear visits the rabbit and the bear chases the squirrel then the bear chases the rabbit.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is not round.
("squirrel" "is" "round" "-")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel does not visit the rabbit.
("squirrel" "visits" "rabbit" "-")
If the bear visits the rabbit and the bear chases the squirrel then the bear chases the rabbit.
((("bear" "visits" "rabbit" "+") ("bear" "chases" "squirrel" "+")) -> ("bear" "chases" "rabbit" "+"))
The squirrel is not round.
True
1
proof
[(triple13)]
("squirrel" "is" "round" "-")
triple13
The rabbit is not cold.
False
1
inv-proof
[(triple9)]
("rabbit" "is" "cold" "-")
triple9
The bear chases the rabbit.
True
3
proof
[(((triple7 triple1) -> rule1))]
("bear" "chases" "rabbit" "+")
((triple7 triple1) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear does not chase the rabbit.
False
3
inv-proof
[(((triple7 triple1) -> rule1))]
("bear" "chases" "rabbit" "-")
((triple7 triple1) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The rabbit does not chase the squirrel.
Unknown
inv-random
[@0: The rabbit chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "squirrel" "-")
The rabbit visits the squirrel.
Unknown
random
[@0: The rabbit visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "squirrel" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The bear chases the squirrel.[(triple1)] The bear is cold.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5)] The bear needs the squirrel.[(triple6)] The bear visits the rabbit.[(triple7)] The bear visits the squirrel.[(triple8)] The rabbit is cold.[(triple9)] The squirrel does not chase the bear.[(triple10)] The squirrel does not visit the rabbit.[(triple16)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is not round.[(triple13)] The squirrel needs the bear.[(triple14)] The squirrel needs the rabbit.[(triple15)] @1: The bear chases the rabbit.[(((triple7 triple1) -> rule1))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple6
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple7
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple8
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple9
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
triple10
The squirrel does not visit the rabbit.
("squirrel" "visits" "rabbit" "-")
triple16
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is not round.
("squirrel" "is" "round" "-")
triple13
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple14
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple15
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
((triple7 triple1) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1