The bald eagle is cold. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the lion. The bear is cold. The lion does not eat the bald eagle. The lion is not cold. The lion likes the rabbit. The rabbit eats the lion. The rabbit likes the lion. The rabbit sees the bear. If someone eats the bear then they are big. If someone eats the lion and they like the lion then they see the bald eagle. If someone is cold then they see the bald eagle. If the rabbit is not rough then the rabbit does not like the lion. If someone sees the bald eagle then the bald eagle eats the bear. If someone is big and cold then they like the bald eagle. If someone is big and they like the bald eagle then they are not kind. If the bald eagle likes the bear and the bear does not see the bald eagle then the bear does not see the rabbit.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bear is cold.
("bear" "is" "cold" "+")
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
The lion is not cold.
("lion" "is" "cold" "-")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
If someone eats the bear then they are big.
((("someone" "eats" "bear" "+")) -> ("someone" "is" "big" "+"))
If someone eats the lion and they like the lion then they see the bald eagle.
((("someone" "eats" "lion" "+") ("someone" "likes" "lion" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is cold then they see the bald eagle.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "bald eagle" "+"))
If the rabbit is not rough then the rabbit does not like the lion.
((("rabbit" "is" "rough" "~")) -> ("rabbit" "likes" "lion" "-"))
If someone sees the bald eagle then the bald eagle eats the bear.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "+"))
If someone is big and cold then they like the bald eagle.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone is big and they like the bald eagle then they are not kind.
((("someone" "is" "big" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "kind" "-"))
If the bald eagle likes the bear and the bear does not see the bald eagle then the bear does not see the rabbit.
((("bald eagle" "likes" "bear" "+") ("bear" "sees" "bald eagle" "~")) -> ("bear" "sees" "rabbit" "-"))
The bear is cold.
True
1
proof
[(triple5)]
("bear" "is" "cold" "+")
triple5
The bald eagle is not nice.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "nice" "-")
triple2
The bald eagle sees the bald eagle.
True
2
proof
[(((triple1) -> rule3))]
("bald eagle" "sees" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle does not see the bald eagle.
False
2
inv-proof
[(((triple1) -> rule3))]
("bald eagle" "sees" "bald eagle" "-")
((triple1) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle eats the bear.
True
3
proof
[(((((triple1) -> rule3)) -> rule5) OR ((((triple5) -> rule3)) -> rule5) OR ((((triple9 triple10) -> rule2)) -> rule5))]
("bald eagle" "eats" "bear" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
((((triple9 triple10) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The bald eagle does not eat the bear.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule5) OR ((((triple5) -> rule3)) -> rule5) OR ((((triple9 triple10) -> rule2)) -> rule5))]
("bald eagle" "eats" "bear" "-")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
((((triple9 triple10) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The bald eagle is big.
True
4
proof
[(((((((triple1) -> rule3)) -> rule5)) -> rule1) OR ((((((triple5) -> rule3)) -> rule5)) -> rule1) OR ((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1))]
("bald eagle" "is" "big" "+")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
((((((triple9 triple10) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The bald eagle is not big.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule5)) -> rule1) OR ((((((triple5) -> rule3)) -> rule5)) -> rule1) OR ((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1))]
("bald eagle" "is" "big" "-")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
((((((triple9 triple10) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The bald eagle likes the bald eagle.
True
6
proof
[(((((((((triple1) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6) OR ((((((((triple5) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6) OR ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) triple1) -> rule6))]
("bald eagle" "likes" "bald eagle" "+")
((((((((triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int4
((((((((triple5) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int4
((((((((triple9 triple10) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int4
The bald eagle does not like the bald eagle.
False
6
inv-proof
[(((((((((triple1) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6) OR ((((((((triple5) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6) OR ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) triple1) -> rule6))]
("bald eagle" "likes" "bald eagle" "-")
((((((((triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int4
((((((((triple5) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int4
((((((((triple9 triple10) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int4
The bald eagle is not kind.
True
11
proof
[(((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((((((((triple1) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((((((((triple5) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple5) -> rule3)) -> rule5)) -> rule1) ((((((((triple1) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple5) -> rule3)) -> rule5)) -> rule1) ((((((((triple5) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple5) -> rule3)) -> rule5)) -> rule1) ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) ((((((((triple1) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) ((((((((triple5) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7))]
("bald eagle" "is" "kind" "-")
((((((((triple1) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((((((triple1) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int5
((((((((triple1) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple5) -> (rule3 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int6
((((((((triple1) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple9 triple10) -> (rule2 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int6
((((((((triple5) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple1) -> (rule3 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int6
((((((((triple5) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((((((triple5) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int5
((((((((triple5) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple9 triple10) -> (rule2 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int6
((((((((triple9 triple10) -> (rule2 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple1) -> (rule3 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int6
((((((((triple9 triple10) -> (rule2 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple5) -> (rule3 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int6
((((((((triple9 triple10) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((((((triple9 triple10) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int5
The bald eagle is kind.
False
11
inv-proof
[(((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((((((((triple1) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((((((((triple5) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple5) -> rule3)) -> rule5)) -> rule1) ((((((((triple1) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple5) -> rule3)) -> rule5)) -> rule1) ((((((((triple5) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple5) -> rule3)) -> rule5)) -> rule1) ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) ((((((((triple1) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) ((((((((triple5) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7))]
("bald eagle" "is" "kind" "+")
((((((((triple1) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((((((triple1) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int5
((((((((triple1) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple5) -> (rule3 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int6
((((((((triple1) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple9 triple10) -> (rule2 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int6
((((((((triple5) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple1) -> (rule3 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int6
((((((((triple5) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((((((triple5) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int5
((((((((triple5) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple9 triple10) -> (rule2 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int6
((((((((triple9 triple10) -> (rule2 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple1) -> (rule3 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int6
((((((((triple9 triple10) -> (rule2 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple5) -> (rule3 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int6
((((((((triple9 triple10) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((((((triple9 triple10) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int5
The bear does not like the bald eagle.
Unknown
inv-rconc
[@2: The bear likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("bear" "likes" "bald eagle" "-")
The lion likes the bald eagle.
Unknown
rconc
[@1: The lion likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "likes" "bald eagle" "+")
The rabbit does not like the bald eagle.
Unknown
inv-rconc
[@1: The rabbit likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "likes" "bald eagle" "-")
The rabbit is big.
Unknown
rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "big" "+")
The lion does not see the bald eagle.
Unknown
inv-rconc
[@1: The lion sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "sees" "bald eagle" "-")
The bear is big.
Unknown
rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "big" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
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 rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
The bear does not like the lion.
Unknown
inv-random
[@0: The bear likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "lion" "-")
The bald eagle sees the bear.
Unknown
random
[@0: The bald eagle sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bear" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the lion.[(triple4)] The bear is cold.[(triple5)] The lion does not eat the bald eagle.[(triple6)] The lion is not cold.[(triple7)] The lion likes the rabbit.[(triple8)] The rabbit eats the lion.[(triple9)] The rabbit likes the lion.[(triple10)] The rabbit sees the bear.[(triple11)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule3))] The bear sees the bald eagle.[(((triple5) -> rule3))] The rabbit sees the bald eagle.[(((triple9 triple10) -> rule2))] @2: The bald eagle eats the bear.[(((((triple1) -> rule3)) -> rule5) OR ((((triple5) -> rule3)) -> rule5) OR ((((triple9 triple10) -> rule2)) -> rule5))] @3: The bald eagle is big.[(((((((triple1) -> rule3)) -> rule5)) -> rule1) OR ((((((triple5) -> rule3)) -> rule5)) -> rule1) OR ((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1))] @4: The bald eagle likes the bald eagle.[(((((((((triple1) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6) OR ((((((((triple5) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6) OR ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) triple1) -> rule6))] @5: The bald eagle is not kind.[(((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((((((((triple1) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((((((((triple5) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple5) -> rule3)) -> rule5)) -> rule1) ((((((((triple1) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple5) -> rule3)) -> rule5)) -> rule1) ((((((((triple5) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple5) -> rule3)) -> rule5)) -> rule1) ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) ((((((((triple1) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) ((((((((triple5) -> rule3)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7) OR ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) ((((((((triple9 triple10) -> rule2)) -> rule5)) -> rule1) triple1) -> rule6)) -> rule7))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple4
The bear is cold.
("bear" "is" "cold" "+")
triple5
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
triple6
The lion is not cold.
("lion" "is" "cold" "-")
triple7
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple8
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple9
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple10
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple11
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((triple5) -> (rule3 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((triple9 triple10) -> (rule2 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
((((triple9 triple10) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
((((((triple9 triple10) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((((((((triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int4
((((((((triple5) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int4
((((((((triple9 triple10) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int4
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
((((((((triple1) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((((((triple1) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int5
((((((((triple1) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple5) -> (rule3 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int6
((((((((triple1) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple9 triple10) -> (rule2 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int6
((((((((triple5) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple1) -> (rule3 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int6
((((((((triple5) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((((((triple5) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int5
((((((((triple5) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple9 triple10) -> (rule2 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int6
((((((((triple9 triple10) -> (rule2 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple1) -> (rule3 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int6
((((((((triple9 triple10) -> (rule2 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple5) -> (rule3 % int3))) -> (rule5 % int5))) -> (rule1 % int4)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int6
((((((((triple9 triple10) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((((((triple9 triple10) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int5