The bear is kind. The bear is rough. The bear visits the cow. The cat eats the bear. The cat eats the cow. The cat is big. The cat is young. The cow eats the bear. The cow eats the cat. The cow is kind. The cow is red. The cow is rough. The cow sees the cat. The cow visits the bear. The cow visits the cat. If something is big then it sees the bear. If something visits the cow and it is big then the cow visits the cat. If the cat is kind then the cat sees the cow.
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is young.
("cat" "is" "young" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
If something is big then it sees the bear.
((("something" "is" "big" "+")) -> ("something" "sees" "bear" "+"))
If something visits the cow and it is big then the cow visits the cat.
((("something" "visits" "cow" "+") ("something" "is" "big" "+")) -> ("cow" "visits" "cat" "+"))
If the cat is kind then the cat sees the cow.
((("cat" "is" "kind" "+")) -> ("cat" "sees" "cow" "+"))
The cat eats the cow.
True
1
proof
[(triple5)]
("cat" "eats" "cow" "+")
triple5
The cow is not rough.
False
1
inv-proof
[(triple12)]
("cow" "is" "rough" "-")
triple12
The cow does not see the bear.
Unknown
inv-rconc
[@1: The cow sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "bear" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
@0: The bear is kind.[(triple1)] The bear is rough.[(triple2)] The bear visits the cow.[(triple3)] The cat eats the bear.[(triple4)] The cat eats the cow.[(triple5)] The cat is big.[(triple6)] The cat is young.[(triple7)] The cow eats the bear.[(triple8)] The cow eats the cat.[(triple9)] The cow is kind.[(triple10)] The cow is red.[(triple11)] The cow is rough.[(triple12)] The cow sees the cat.[(triple13)] The cow visits the bear.[(triple14)] The cow visits the cat.[(triple15)] @1: The cat sees the bear.[(((triple6) -> rule1))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear visits the cow.
("bear" "visits" "cow" "+")
triple3
The cat eats the bear.
("cat" "eats" "bear" "+")
triple4
The cat eats the cow.
("cat" "eats" "cow" "+")
triple5
The cat is big.
("cat" "is" "big" "+")
triple6
The cat is young.
("cat" "is" "young" "+")
triple7
The cow eats the bear.
("cow" "eats" "bear" "+")
triple8
The cow eats the cat.
("cow" "eats" "cat" "+")
triple9
The cow is kind.
("cow" "is" "kind" "+")
triple10
The cow is red.
("cow" "is" "red" "+")
triple11
The cow is rough.
("cow" "is" "rough" "+")
triple12
The cow sees the cat.
("cow" "sees" "cat" "+")
triple13
The cow visits the bear.
("cow" "visits" "bear" "+")
triple14
The cow visits the cat.
("cow" "visits" "cat" "+")
triple15
The cat sees the bear.
("cat" "sees" "bear" "+")
((triple6) -> (rule1 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1