The bear chases the rabbit. The bear is big. The bear is cold. The bear is kind. The bear is nice. The bear is young. The bear likes the rabbit. The bear visits the rabbit. The rabbit chases the bear. The rabbit is big. The rabbit is kind. The rabbit is nice. The rabbit is young. The rabbit likes the bear. The rabbit visits the bear. If the bear visits the rabbit and the bear likes the rabbit then the bear is cold. If someone likes the rabbit then the rabbit visits the bear. If someone likes the bear then they chase the rabbit.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If the bear visits the rabbit and the bear likes the rabbit then the bear is cold.
((("bear" "visits" "rabbit" "+") ("bear" "likes" "rabbit" "+")) -> ("bear" "is" "cold" "+"))
If someone likes the rabbit then the rabbit visits the bear.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "visits" "bear" "+"))
If someone likes the bear then they chase the rabbit.
((("someone" "likes" "bear" "+")) -> ("someone" "chases" "rabbit" "+"))
The bear is big.
True
1
proof
[(triple2)]
("bear" "is" "big" "+")
triple2
The bear is not big.
False
1
inv-proof
[(triple2)]
("bear" "is" "big" "-")
triple2
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 bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the rabbit.[(triple1)] The bear is big.[(triple2)] The bear is cold.[(triple3 OR ((triple8 triple7) -> rule1))] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear is young.[(triple6)] The bear likes the rabbit.[(triple7)] The bear visits the rabbit.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit is big.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit visits the bear.[(triple15 OR ((triple7) -> rule2))] @1: The rabbit chases the rabbit.[(((triple14) -> rule3))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
((triple8 triple7) -> (rule1 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is nice.
("bear" "is" "nice" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple7
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple8
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple9
The rabbit is big.
("rabbit" "is" "big" "+")
triple10
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple12
The rabbit is young.
("rabbit" "is" "young" "+")
triple13
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple14
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple15
((triple7) -> (rule2 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple14) -> (rule3 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1