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