The bear chases the rabbit. The bear is blue. The bear is cold. The bear is kind. The bear is nice. The bear is not rough. The bear likes the rabbit. The bear needs the rabbit. The rabbit chases the bear. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is not nice. The rabbit is not rough. The rabbit likes the bear. The rabbit needs the bear. If something likes the rabbit then it needs the bear.
The bear chases the rabbit.
("bear" "chases" "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 nice.
("bear" "is" "nice" "+")
The bear is not rough.
("bear" "is" "rough" "-")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is not nice.
("rabbit" "is" "nice" "-")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If something likes the rabbit then it needs the bear.
((("something" "likes" "rabbit" "+")) -> ("something" "needs" "bear" "+"))
The bear likes the rabbit.
True
1
proof
[(triple7)]
("bear" "likes" "rabbit" "+")
triple7
The rabbit is not blue.
False
1
inv-proof
[(triple10)]
("rabbit" "is" "blue" "-")
triple10
The bear needs the bear.
True
2
proof
[(((triple7) -> rule1))]
("bear" "needs" "bear" "+")
((triple7) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear does not need the bear.
False
2
inv-proof
[(((triple7) -> rule1))]
("bear" "needs" "bear" "-")
((triple7) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
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 rabbit.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear is not rough.[(triple6)] The bear likes the rabbit.[(triple7)] The bear needs the rabbit.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is not nice.[(triple13)] The rabbit is not rough.[(triple14)] The rabbit likes the bear.[(triple15)] The rabbit needs the bear.[(triple16)] @1: The bear needs the bear.[(((triple7) -> rule1))]
The bear chases the rabbit.
("bear" "chases" "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 nice.
("bear" "is" "nice" "+")
triple5
The bear is not rough.
("bear" "is" "rough" "-")
triple6
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple7
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple8
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple11
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple12
The rabbit is not nice.
("rabbit" "is" "nice" "-")
triple13
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple14
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple15
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple16
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple7) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1