The bear chases the cow. The bear is big. The bear is cold. The bear is red. The cow chases the bear. The cow eats the bear. The cow is big. The cow is kind. The cow is nice. The cow needs the bear. If someone is cold then they chase the cow. If someone chases the bear and they eat the bear then they are nice.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is red.
("bear" "is" "red" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
If someone is cold then they chase the cow.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "cow" "+"))
If someone chases the bear and they eat the bear then they are nice.
((("someone" "chases" "bear" "+") ("someone" "eats" "bear" "+")) -> ("someone" "is" "nice" "+"))
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 is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "nice" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear chases the cow.[(triple1 OR ((triple3) -> rule1))] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear is red.[(triple4)] The cow chases the bear.[(triple5)] The cow eats the bear.[(triple6)] The cow is big.[(triple7)] The cow is kind.[(triple8)] The cow is nice.[(triple9 OR ((triple5 triple6) -> rule2))] The cow needs the bear.[(triple10)]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
((triple3) -> (rule1 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The cow chases the bear.
("cow" "chases" "bear" "+")
triple5
The cow eats the bear.
("cow" "eats" "bear" "+")
triple6
The cow is big.
("cow" "is" "big" "+")
triple7
The cow is kind.
("cow" "is" "kind" "+")
triple8
The cow is nice.
("cow" "is" "nice" "+")
triple9
((triple5 triple6) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
triple10