The bear chases the cat. The bear is nice. The bear is red. The bear sees the cat. The cat chases the bear. The cat eats the bear. The cat is big. The cat is blue. The cat is nice. The cat is red. The cat is round. The cat sees the bear. If something chases the cat then it sees the cat. If something is big then it chases the bear. If something chases the bear and the bear eats the cat then the bear sees the cat. If something is nice and red then it chases the cat. If something is round and it sees the cat then the cat eats the bear. If something sees the cat and it is big then it eats the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
If something chases the cat then it sees the cat.
((("something" "chases" "cat" "+")) -> ("something" "sees" "cat" "+"))
If something is big then it chases the bear.
((("something" "is" "big" "+")) -> ("something" "chases" "bear" "+"))
If something chases the bear and the bear eats the cat then the bear sees the cat.
((("something" "chases" "bear" "+") ("bear" "eats" "cat" "+")) -> ("bear" "sees" "cat" "+"))
If something is nice and red then it chases the cat.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "chases" "cat" "+"))
If something is round and it sees the cat then the cat eats the bear.
((("something" "is" "round" "+") ("something" "sees" "cat" "+")) -> ("cat" "eats" "bear" "+"))
If something sees the cat and it is big then it eats the cat.
((("something" "sees" "cat" "+") ("something" "is" "big" "+")) -> ("something" "eats" "cat" "+"))
The bear sees the cat.
True
1
proof
[(triple4 OR ((triple1) -> rule1) OR ((((triple2 triple3) -> rule4)) -> rule1))]
("bear" "sees" "cat" "+")
triple4
((triple1) -> (rule1 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
((((triple2 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The cat does not see the bear.
False
1
inv-proof
[(triple12)]
("cat" "sees" "bear" "-")
triple12
The cat chases the cat.
True
3
proof
[(((triple9 triple10) -> rule4))]
("cat" "chases" "cat" "+")
((triple9 triple10) -> (rule4 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not chase the cat.
False
3
inv-proof
[(((triple9 triple10) -> rule4))]
("cat" "chases" "cat" "-")
((triple9 triple10) -> (rule4 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat sees the cat.
True
4
proof
[(((((triple9 triple10) -> rule4)) -> rule1))]
("cat" "sees" "cat" "+")
((((triple9 triple10) -> (rule4 % int2))) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat does not see the cat.
False
4
inv-proof
[(((((triple9 triple10) -> rule4)) -> rule1))]
("cat" "sees" "cat" "-")
((((triple9 triple10) -> (rule4 % int2))) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat eats the cat.
True
6
proof
[(((((((triple9 triple10) -> rule4)) -> rule1) triple7) -> rule6))]
("cat" "eats" "cat" "+")
((((((triple9 triple10) -> (rule4 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat does not eat the cat.
False
6
inv-proof
[(((((((triple9 triple10) -> rule4)) -> rule1) triple7) -> rule6))]
("cat" "eats" "cat" "-")
((((((triple9 triple10) -> (rule4 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The bear does not eat the cat.
Unknown
inv-rconc
[@1: The bear eats the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "eats" "cat" "-")
The bear chases the bear.
Unknown
rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "chases" "bear" "+")
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
@0: The bear chases the cat.[(triple1 OR ((triple2 triple3) -> rule4))] The bear is nice.[(triple2)] The bear is red.[(triple3)] The bear sees the cat.[(triple4 OR ((triple1) -> rule1) OR ((((triple2 triple3) -> rule4)) -> rule1))] The cat chases the bear.[(triple5 OR ((triple7) -> rule2))] The cat eats the bear.[(triple6 OR ((triple11 ((((triple9 triple10) -> rule4)) -> rule1)) -> rule5))] The cat is big.[(triple7)] The cat is blue.[(triple8)] The cat is nice.[(triple9)] The cat is red.[(triple10)] The cat is round.[(triple11)] The cat sees the bear.[(triple12)] @1: The cat chases the cat.[(((triple9 triple10) -> rule4))] @2: The cat sees the cat.[(((((triple9 triple10) -> rule4)) -> rule1))] @3: The cat eats the cat.[(((((((triple9 triple10) -> rule4)) -> rule1) triple7) -> rule6))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
((triple2 triple3) -> (rule4 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear sees the cat.
("bear" "sees" "cat" "+")
triple4
((triple1) -> (rule1 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
((((triple2 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
triple5
((triple7) -> (rule2 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
triple6
((triple11 ((((triple9 triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is big.
("cat" "is" "big" "+")
triple7
The cat is blue.
("cat" "is" "blue" "+")
triple8
The cat is nice.
("cat" "is" "nice" "+")
triple9
The cat is red.
("cat" "is" "red" "+")
triple10
The cat is round.
("cat" "is" "round" "+")
triple11
The cat sees the bear.
("cat" "sees" "bear" "+")
triple12
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple9 triple10) -> (rule4 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
((((triple9 triple10) -> (rule4 % int2))) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
((((((triple9 triple10) -> (rule4 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3