The bald eagle is young. The bald eagle sees the tiger. The bear chases the cat. The bear is big. The bear is round. The bear likes the bald eagle. The cat is not young. The cat likes the bear. The tiger chases the cat. The tiger is big. The tiger does not like the bald eagle. If someone is rough and cold then they chase the tiger. If someone chases the bear then the bear chases the tiger. If someone sees the bald eagle and they like the bear then the bear sees the tiger. If someone sees the bear then they see the bald eagle. If someone is big and round then they like the cat. If someone chases the cat and they like the cat then the cat sees the bear. If someone sees the tiger then they see the bear. If someone is young and not big then they do not like the bald eagle.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The cat is not young.
("cat" "is" "young" "-")
The cat likes the bear.
("cat" "likes" "bear" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
If someone is rough and cold then they chase the tiger.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "chases" "tiger" "+"))
If someone chases the bear then the bear chases the tiger.
((("someone" "chases" "bear" "+")) -> ("bear" "chases" "tiger" "+"))
If someone sees the bald eagle and they like the bear then the bear sees the tiger.
((("someone" "sees" "bald eagle" "+") ("someone" "likes" "bear" "+")) -> ("bear" "sees" "tiger" "+"))
If someone sees the bear then they see the bald eagle.
((("someone" "sees" "bear" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is big and round then they like the cat.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "likes" "cat" "+"))
If someone chases the cat and they like the cat then the cat sees the bear.
((("someone" "chases" "cat" "+") ("someone" "likes" "cat" "+")) -> ("cat" "sees" "bear" "+"))
If someone sees the tiger then they see the bear.
((("someone" "sees" "tiger" "+")) -> ("someone" "sees" "bear" "+"))
If someone is young and not big then they do not like the bald eagle.
((("someone" "is" "young" "+") ("someone" "is" "big" "~")) -> ("someone" "likes" "bald eagle" "-"))
The bear is big.
True
1
proof
[(triple4)]
("bear" "is" "big" "+")
triple4
The bear is not big.
False
1
inv-proof
[(triple4)]
("bear" "is" "big" "-")
triple4
The bald eagle sees the bear.
True
2
proof
[(((triple2) -> rule7))]
("bald eagle" "sees" "bear" "+")
((triple2) -> (rule7 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle does not see the bear.
False
2
inv-proof
[(((triple2) -> rule7))]
("bald eagle" "sees" "bear" "-")
((triple2) -> (rule7 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle sees the bald eagle.
True
3
proof
[(((((triple2) -> rule7)) -> rule4))]
("bald eagle" "sees" "bald eagle" "+")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The bald eagle does not see the bald eagle.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule4))]
("bald eagle" "sees" "bald eagle" "-")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The cat sees the bald eagle.
True
6
proof
[(((((triple3 ((triple4 triple5) -> rule5)) -> rule6)) -> rule4))]
("cat" "sees" "bald eagle" "+")
((((triple3 ((triple4 triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat sees the bear.
("cat" "sees" "bear" "+")
int2
The bear likes the cat.
("bear" "likes" "cat" "+")
int3
The cat does not see the bald eagle.
False
6
inv-proof
[(((((triple3 ((triple4 triple5) -> rule5)) -> rule6)) -> rule4))]
("cat" "sees" "bald eagle" "-")
((((triple3 ((triple4 triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat sees the bear.
("cat" "sees" "bear" "+")
int2
The bear likes the cat.
("bear" "likes" "cat" "+")
int3
The bear sees the tiger.
True
8
proof
[(((((((triple3 ((triple4 triple5) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3))]
("bear" "sees" "tiger" "+")
((((((triple3 ((triple4 triple5) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
The cat sees the bear.
("cat" "sees" "bear" "+")
int3
The bear likes the cat.
("bear" "likes" "cat" "+")
int4
The bear does not see the tiger.
False
8
inv-proof
[(((((((triple3 ((triple4 triple5) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3))]
("bear" "sees" "tiger" "-")
((((((triple3 ((triple4 triple5) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
The cat sees the bear.
("cat" "sees" "bear" "+")
int3
The bear likes the cat.
("bear" "likes" "cat" "+")
int4
The bear sees the bear.
True
9
proof
[(((((((((triple3 ((triple4 triple5) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3)) -> rule7))]
("bear" "sees" "bear" "+")
((((((((triple3 ((triple4 triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) triple8) -> (rule3 % int2))) -> (rule7 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int2
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int3
The cat sees the bear.
("cat" "sees" "bear" "+")
int4
The bear likes the cat.
("bear" "likes" "cat" "+")
int5
The bear does not see the bear.
False
9
inv-proof
[(((((((((triple3 ((triple4 triple5) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3)) -> rule7))]
("bear" "sees" "bear" "-")
((((((((triple3 ((triple4 triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) triple8) -> (rule3 % int2))) -> (rule7 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int2
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int3
The cat sees the bear.
("cat" "sees" "bear" "+")
int4
The bear likes the cat.
("bear" "likes" "cat" "+")
int5
The cat does not chase the tiger.
Unknown
inv-rconc
[@1: The cat chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "chases" "tiger" "-")
The bald eagle chases the tiger.
Unknown
rconc
[@1: The bald eagle chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "tiger" "+")
The tiger does not like the cat.
Unknown
inv-rconc
[@1: The tiger likes the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "likes" "cat" "-")
The tiger chases the tiger.
Unknown
rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "chases" "tiger" "+")
The tiger does not see the bald eagle.
Unknown
inv-rconc
[@2: The tiger sees the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("tiger" "sees" "bald eagle" "-")
The bald eagle likes the cat.
Unknown
rconc
[@1: The bald eagle likes the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "likes" "cat" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The cat sees the tiger.
Unknown
random
[@0: The cat sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "tiger" "+")
The tiger is not cold.
Unknown
inv-random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "-")
The cat likes the tiger.
Unknown
random
[@0: The cat likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "tiger" "+")
@0: The bald eagle is young.[(triple1)] The bald eagle sees the tiger.[(triple2)] The bear chases the cat.[(triple3)] The bear is big.[(triple4)] The bear is round.[(triple5)] The bear likes the bald eagle.[(triple6)] The cat is not young.[(triple7)] The cat likes the bear.[(triple8)] The tiger chases the cat.[(triple9)] The tiger does not like the bald eagle.[(triple11)] The tiger is big.[(triple10)] @1: The bald eagle sees the bear.[(((triple2) -> rule7))] The bear likes the cat.[(((triple4 triple5) -> rule5))] @2: The bald eagle sees the bald eagle.[(((((triple2) -> rule7)) -> rule4))] The cat sees the bear.[(((triple3 ((triple4 triple5) -> rule5)) -> rule6))] @3: The cat sees the bald eagle.[(((((triple3 ((triple4 triple5) -> rule5)) -> rule6)) -> rule4))] @4: The bear sees the tiger.[(((((((triple3 ((triple4 triple5) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3))] @5: The bear sees the bear.[(((((((((triple3 ((triple4 triple5) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3)) -> rule7))] @6: The bear sees the bald eagle.[(((((((((((triple3 ((triple4 triple5) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3)) -> rule7)) -> rule4))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple2
The bear chases the cat.
("bear" "chases" "cat" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple6
The cat is not young.
("cat" "is" "young" "-")
triple7
The cat likes the bear.
("cat" "likes" "bear" "+")
triple8
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple9
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
triple11
The tiger is big.
("tiger" "is" "big" "+")
triple10
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple2) -> (rule7 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
((triple4 triple5) -> (rule5 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The cat sees the bear.
("cat" "sees" "bear" "+")
((triple3 ((triple4 triple5) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
((((triple3 ((triple4 triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat sees the bear.
("cat" "sees" "bear" "+")
int2
The bear likes the cat.
("bear" "likes" "cat" "+")
int3
The bear sees the tiger.
("bear" "sees" "tiger" "+")
((((((triple3 ((triple4 triple5) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
The cat sees the bear.
("cat" "sees" "bear" "+")
int3
The bear likes the cat.
("bear" "likes" "cat" "+")
int4
The bear sees the bear.
("bear" "sees" "bear" "+")
((((((((triple3 ((triple4 triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) triple8) -> (rule3 % int2))) -> (rule7 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int2
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int3
The cat sees the bear.
("cat" "sees" "bear" "+")
int4
The bear likes the cat.
("bear" "likes" "cat" "+")
int5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((((((((((triple3 ((triple4 triple5) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule4 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int3
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int4
The cat sees the bear.
("cat" "sees" "bear" "+")
int5
The bear likes the cat.
("bear" "likes" "cat" "+")
int6