The bear eats the cow. The bear is big. The bear is cold. The bear is green. The bear likes the cow. The bear sees the cow. The cow eats the bear. The cow is big. The cow is cold. The cow is green. The cow likes the bear. The cow sees the bear. If something is rough then it is nice. If the bear is nice then the bear is cold. If the cow eats the bear then the bear likes the cow.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
If something is rough then it is nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If the bear is nice then the bear is cold.
((("bear" "is" "nice" "+")) -> ("bear" "is" "cold" "+"))
If the cow eats the bear then the bear likes the cow.
((("cow" "eats" "bear" "+")) -> ("bear" "likes" "cow" "+"))
The cow eats the bear.
True
1
proof
[(triple7)]
("cow" "eats" "bear" "+")
triple7
The bear is not green.
False
1
inv-proof
[(triple4)]
("bear" "is" "green" "-")
triple4
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "nice" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear eats the cow.[(triple1)] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear is green.[(triple4)] The bear likes the cow.[(triple5 OR ((triple7) -> rule3))] The bear sees the cow.[(triple6)] The cow eats the bear.[(triple7)] The cow is big.[(triple8)] The cow is cold.[(triple9)] The cow is green.[(triple10)] The cow likes the bear.[(triple11)] The cow sees the bear.[(triple12)]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
The bear likes the cow.
("bear" "likes" "cow" "+")
triple5
((triple7) -> (rule3 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The bear sees the cow.
("bear" "sees" "cow" "+")
triple6
The cow eats the bear.
("cow" "eats" "bear" "+")
triple7
The cow is big.
("cow" "is" "big" "+")
triple8
The cow is cold.
("cow" "is" "cold" "+")
triple9
The cow is green.
("cow" "is" "green" "+")
triple10
The cow likes the bear.
("cow" "likes" "bear" "+")
triple11
The cow sees the bear.
("cow" "sees" "bear" "+")
triple12