The bald eagle likes the bear. The bald eagle likes the rabbit. The bear chases the rabbit. The bear likes the bald eagle. The bear likes the dog. The dog chases the bald eagle. The dog is green. The dog is red. The rabbit chases the dog. The rabbit sees the bear. If something chases the rabbit then it sees the rabbit. If the dog does not see the bear then the bear does not chase the bald eagle. If the bear likes the rabbit and the bear likes the bald eagle then the bear chases the bald eagle. If something is cold then it does not chase the dog. If something sees the bear and the bear does not chase the rabbit then the rabbit does not chase the dog. If something sees the rabbit then it is big. If something likes the dog and it chases the bear then it likes the rabbit. If something is kind then it chases the bear. If something sees the rabbit and it chases the rabbit then it is kind.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
If something chases the rabbit then it sees the rabbit.
((("something" "chases" "rabbit" "+")) -> ("something" "sees" "rabbit" "+"))
If the dog does not see the bear then the bear does not chase the bald eagle.
((("dog" "sees" "bear" "~")) -> ("bear" "chases" "bald eagle" "-"))
If the bear likes the rabbit and the bear likes the bald eagle then the bear chases the bald eagle.
((("bear" "likes" "rabbit" "+") ("bear" "likes" "bald eagle" "+")) -> ("bear" "chases" "bald eagle" "+"))
If something is cold then it does not chase the dog.
((("something" "is" "cold" "+")) -> ("something" "chases" "dog" "-"))
If something sees the bear and the bear does not chase the rabbit then the rabbit does not chase the dog.
((("something" "sees" "bear" "+") ("bear" "chases" "rabbit" "~")) -> ("rabbit" "chases" "dog" "-"))
If something sees the rabbit then it is big.
((("something" "sees" "rabbit" "+")) -> ("something" "is" "big" "+"))
If something likes the dog and it chases the bear then it likes the rabbit.
((("something" "likes" "dog" "+") ("something" "chases" "bear" "+")) -> ("something" "likes" "rabbit" "+"))
If something is kind then it chases the bear.
((("something" "is" "kind" "+")) -> ("something" "chases" "bear" "+"))
If something sees the rabbit and it chases the rabbit then it is kind.
((("something" "sees" "rabbit" "+") ("something" "chases" "rabbit" "+")) -> ("something" "is" "kind" "+"))
The bald eagle likes the rabbit.
True
1
proof
[(triple2)]
("bald eagle" "likes" "rabbit" "+")
triple2
The bear does not like the dog.
False
1
inv-proof
[(triple5)]
("bear" "likes" "dog" "-")
triple5
The bear sees the rabbit.
True
2
proof
[(((triple3) -> rule1))]
("bear" "sees" "rabbit" "+")
((triple3) -> (rule1 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The bear does not see the rabbit.
False
2
inv-proof
[(((triple3) -> rule1))]
("bear" "sees" "rabbit" "-")
((triple3) -> (rule1 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The bear is big.
True
3
proof
[(((((triple3) -> rule1)) -> rule6))]
("bear" "is" "big" "+")
((((triple3) -> (rule1 % int2))) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The bear is not kind.
False
4
inv-proof
[(((((triple3) -> rule1) triple3) -> rule9))]
("bear" "is" "kind" "-")
((((triple3) -> (rule1 % int2)) triple3) -> (rule9 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The bear chases the bear.
True
5
proof
[(((((((triple3) -> rule1) triple3) -> rule9)) -> rule8))]
("bear" "chases" "bear" "+")
((((((triple3) -> (rule1 % int3)) triple3) -> (rule9 % int2))) -> (rule8 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear does not chase the bear.
False
5
inv-proof
[(((((((triple3) -> rule1) triple3) -> rule9)) -> rule8))]
("bear" "chases" "bear" "-")
((((((triple3) -> (rule1 % int3)) triple3) -> (rule9 % int2))) -> (rule8 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear likes the rabbit.
True
7
proof
[(((triple5 ((((((triple3) -> rule1) triple3) -> rule9)) -> rule8)) -> rule7))]
("bear" "likes" "rabbit" "+")
((triple5 ((((((triple3) -> (rule1 % int4)) triple3) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear does not like the rabbit.
False
7
inv-proof
[(((triple5 ((((((triple3) -> rule1) triple3) -> rule9)) -> rule8)) -> rule7))]
("bear" "likes" "rabbit" "-")
((triple5 ((((((triple3) -> (rule1 % int4)) triple3) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear chases the bald eagle.
True
9
proof
[(((((triple5 ((((((triple3) -> rule1) triple3) -> rule9)) -> rule8)) -> rule7) triple4) -> rule3))]
("bear" "chases" "bald eagle" "+")
((((triple5 ((((((triple3) -> (rule1 % int5)) triple3) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple4) -> (rule3 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear does not chase the bald eagle.
False
9
inv-proof
[(((((triple5 ((((((triple3) -> rule1) triple3) -> rule9)) -> rule8)) -> rule7) triple4) -> rule3))]
("bear" "chases" "bald eagle" "-")
((((triple5 ((((((triple3) -> (rule1 % int5)) triple3) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple4) -> (rule3 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The dog chases the bear.
Unknown
rconc
[@2: The dog chases the bear.[CWA. Example of deepest failure = (rule8 <- rule9 <- FAIL)]]
("dog" "chases" "bear" "+")
The bald eagle is not big.
Unknown
inv-rconc
[@2: The bald eagle is big.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle sees the rabbit.
Unknown
rconc
[@1: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "rabbit" "+")
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The rabbit sees the rabbit.
Unknown
rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "sees" "rabbit" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The bear sees the bald eagle.
Unknown
random
[@0: The bear sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bald eagle" "+")
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The bear chases the dog.
Unknown
random
[@0: The bear chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "dog" "+")
The dog does not see the bear.
Unknown
inv-random
[@0: The dog sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bear" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
@0: The bald eagle likes the bear.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The bear chases the rabbit.[(triple3)] The bear likes the bald eagle.[(triple4)] The bear likes the dog.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog is green.[(triple7)] The dog is red.[(triple8)] The rabbit chases the dog.[(triple9)] The rabbit sees the bear.[(triple10)] @1: The bear sees the rabbit.[(((triple3) -> rule1))] @2: The bear is big.[(((((triple3) -> rule1)) -> rule6))] The bear is kind.[(((((triple3) -> rule1) triple3) -> rule9))] @3: The bear chases the bear.[(((((((triple3) -> rule1) triple3) -> rule9)) -> rule8))] @4: The bear likes the rabbit.[(((triple5 ((((((triple3) -> rule1) triple3) -> rule9)) -> rule8)) -> rule7))] @5: The bear chases the bald eagle.[(((((triple5 ((((((triple3) -> rule1) triple3) -> rule9)) -> rule8)) -> rule7) triple4) -> rule3))]
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple4
The bear likes the dog.
("bear" "likes" "dog" "+")
triple5
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple6
The dog is green.
("dog" "is" "green" "+")
triple7
The dog is red.
("dog" "is" "red" "+")
triple8
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple9
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple10
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
((triple3) -> (rule1 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The bear is big.
("bear" "is" "big" "+")
((((triple3) -> (rule1 % int2))) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
((((triple3) -> (rule1 % int2)) triple3) -> (rule9 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
((((((triple3) -> (rule1 % int3)) triple3) -> (rule9 % int2))) -> (rule8 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
((triple5 ((((((triple3) -> (rule1 % int4)) triple3) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((((triple5 ((((((triple3) -> (rule1 % int5)) triple3) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple4) -> (rule3 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5