The bear does not eat the cow. The bear is big. The bear is not blue. The bear sees the cow. The bear visits the cat. The bear visits the cow. The cat eats the bear. The cat is big. The cat is not green. The cat is round. The cat visits the cow. The cow eats the cat. Big things are young. If something eats the bear and the bear does not visit the cat then the bear is blue. If something is young and big then it sees the cow.
The bear does not eat the cow.
("bear" "eats" "cow" "-")
The bear is big.
("bear" "is" "big" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is not green.
("cat" "is" "green" "-")
The cat is round.
("cat" "is" "round" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
Big things are young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If something eats the bear and the bear does not visit the cat then the bear is blue.
((("something" "eats" "bear" "+") ("bear" "visits" "cat" "~")) -> ("bear" "is" "blue" "+"))
If something is young and big then it sees the cow.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "sees" "cow" "+"))
The cat is not green.
True
1
proof
[(triple9)]
("cat" "is" "green" "-")
triple9
The cow does not eat the cat.
False
1
inv-proof
[(triple12)]
("cow" "eats" "cat" "-")
triple12
The cat is young.
True
2
proof
[(((triple8) -> rule1))]
("cat" "is" "young" "+")
((triple8) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The bear is not young.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "is" "young" "-")
((triple2) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cat sees the cow.
True
4
proof
[(((((triple8) -> rule1) triple8) -> rule3))]
("cat" "sees" "cow" "+")
((((triple8) -> (rule1 % int2)) triple8) -> (rule3 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat does not see the cow.
False
4
inv-proof
[(((((triple8) -> rule1) triple8) -> rule3))]
("cat" "sees" "cow" "-")
((((triple8) -> (rule1 % int2)) triple8) -> (rule3 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cow does not see the cow.
Unknown
inv-rconc
[@1: The cow sees the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "sees" "cow" "-")
The cow is young.
Unknown
rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "young" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
The cat does not see the bear.
Unknown
inv-random
[@0: The cat sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bear" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The bear does not eat the cow.[(triple1)] The bear is big.[(triple2)] The bear is not blue.[(triple3)] The bear sees the cow.[(triple4 OR ((((triple2) -> rule1) triple2) -> rule3))] The bear visits the cat.[(triple5)] The bear visits the cow.[(triple6)] The cat eats the bear.[(triple7)] The cat is big.[(triple8)] The cat is not green.[(triple9)] The cat is round.[(triple10)] The cat visits the cow.[(triple11)] The cow eats the cat.[(triple12)] @1: The bear is young.[(((triple2) -> rule1))] The cat is young.[(((triple8) -> rule1))] @2: The cat sees the cow.[(((((triple8) -> rule1) triple8) -> rule3))]
The bear does not eat the cow.
("bear" "eats" "cow" "-")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is not blue.
("bear" "is" "blue" "-")
triple3
The bear sees the cow.
("bear" "sees" "cow" "+")
triple4
((((triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear visits the cat.
("bear" "visits" "cat" "+")
triple5
The bear visits the cow.
("bear" "visits" "cow" "+")
triple6
The cat eats the bear.
("cat" "eats" "bear" "+")
triple7
The cat is big.
("cat" "is" "big" "+")
triple8
The cat is not green.
("cat" "is" "green" "-")
triple9
The cat is round.
("cat" "is" "round" "+")
triple10
The cat visits the cow.
("cat" "visits" "cow" "+")
triple11
The cow eats the cat.
("cow" "eats" "cat" "+")
triple12
The bear is young.
("bear" "is" "young" "+")
((triple2) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((triple8) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
((((triple8) -> (rule1 % int2)) triple8) -> (rule3 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2