The bald eagle likes the bear. The bear is kind. The bear likes the lion. The bear likes the tiger. The bear sees the bald eagle. The bear visits the tiger. The lion visits the bear. The tiger is cold. The tiger likes the bear. The tiger sees the bald eagle. The tiger visits the bear. If something sees the bear then it is cold. If something visits the bear and it is cold then it likes the lion. If something is cold then it visits the bear. If the tiger is big and the tiger likes the bear then the tiger likes the bald eagle. If something likes the bear then the bear sees the tiger. If something is round then it visits the lion. If the tiger sees the bald eagle and the tiger likes the lion then the bald eagle sees the bear. If something sees the lion then it visits the lion. If something is nice and it sees the bald eagle then the bald eagle is nice.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something sees the bear then it is cold.
((("something" "sees" "bear" "+")) -> ("something" "is" "cold" "+"))
If something visits the bear and it is cold then it likes the lion.
((("something" "visits" "bear" "+") ("something" "is" "cold" "+")) -> ("something" "likes" "lion" "+"))
If something is cold then it visits the bear.
((("something" "is" "cold" "+")) -> ("something" "visits" "bear" "+"))
If the tiger is big and the tiger likes the bear then the tiger likes the bald eagle.
((("tiger" "is" "big" "+") ("tiger" "likes" "bear" "+")) -> ("tiger" "likes" "bald eagle" "+"))
If something likes the bear then the bear sees the tiger.
((("something" "likes" "bear" "+")) -> ("bear" "sees" "tiger" "+"))
If something is round then it visits the lion.
((("something" "is" "round" "+")) -> ("something" "visits" "lion" "+"))
If the tiger sees the bald eagle and the tiger likes the lion then the bald eagle sees the bear.
((("tiger" "sees" "bald eagle" "+") ("tiger" "likes" "lion" "+")) -> ("bald eagle" "sees" "bear" "+"))
If something sees the lion then it visits the lion.
((("something" "sees" "lion" "+")) -> ("something" "visits" "lion" "+"))
If something is nice and it sees the bald eagle then the bald eagle is nice.
((("something" "is" "nice" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
The bear sees the bald eagle.
True
1
proof
[(triple5)]
("bear" "sees" "bald eagle" "+")
triple5
The tiger does not like the bear.
False
1
inv-proof
[(triple9)]
("tiger" "likes" "bear" "-")
triple9
The bear sees the tiger.
True
2
proof
[(((triple1) -> rule5) OR ((triple9) -> rule5))]
("bear" "sees" "tiger" "+")
((triple1) -> (rule5 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
((triple9) -> (rule5 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The tiger does not like the lion.
False
3
inv-proof
[(((triple11 triple8) -> rule2) OR ((((triple8) -> rule3) triple8) -> rule2))]
("tiger" "likes" "lion" "-")
((triple11 triple8) -> (rule2 % int1))
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int1
((((triple8) -> (rule3 % int2)) triple8) -> (rule2 % int1))
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int1
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int2
The bald eagle sees the bear.
True
5
proof
[(((triple10 ((triple11 triple8) -> rule2)) -> rule7) OR ((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7))]
("bald eagle" "sees" "bear" "+")
((triple10 ((triple11 triple8) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int2
((triple10 ((((triple8) -> (rule3 % int3)) triple8) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int2
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int3
The bald eagle does not see the bear.
False
5
inv-proof
[(((triple10 ((triple11 triple8) -> rule2)) -> rule7) OR ((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7))]
("bald eagle" "sees" "bear" "-")
((triple10 ((triple11 triple8) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int2
((triple10 ((((triple8) -> (rule3 % int3)) triple8) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int2
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int3
The bald eagle is cold.
True
6
proof
[(((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1) OR ((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1))]
("bald eagle" "is" "cold" "+")
((((triple10 ((triple11 triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int3
((((triple10 ((((triple8) -> (rule3 % int4)) triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int3
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int4
The bald eagle is not cold.
False
6
inv-proof
[(((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1) OR ((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1))]
("bald eagle" "is" "cold" "-")
((((triple10 ((triple11 triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int3
((((triple10 ((((triple8) -> (rule3 % int4)) triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int3
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int4
The bald eagle visits the bear.
True
7
proof
[(((((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3) OR ((((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3))]
("bald eagle" "visits" "bear" "+")
((((((triple10 ((triple11 triple8) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int3
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int4
((((((triple10 ((((triple8) -> (rule3 % int5)) triple8) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int3
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int4
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int5
The bald eagle does not visit the bear.
False
7
inv-proof
[(((((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3) OR ((((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3))]
("bald eagle" "visits" "bear" "-")
((((((triple10 ((triple11 triple8) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int3
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int4
((((((triple10 ((((triple8) -> (rule3 % int5)) triple8) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int3
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int4
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int5
The bald eagle likes the lion.
True
14
proof
[(((((((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3) ((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3) ((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3) ((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3) ((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1)) -> rule2))]
("bald eagle" "likes" "lion" "+")
((((((((triple10 ((triple11 triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10 ((triple11 triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int4
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int5
((((((((triple10 ((triple11 triple8) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10 ((((triple8) -> (rule3 % int2)) triple8) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int5
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int6
((((((((triple10 ((((triple8) -> (rule3 % int6)) triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10 ((triple11 triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int4
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int5
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int6
((((((((triple10 ((((triple8) -> (rule3 % int6)) triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10 ((((triple8) -> (rule3 % int6)) triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int4
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int5
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int6
The bald eagle does not like the lion.
False
14
inv-proof
[(((((((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3) ((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3) ((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3) ((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3) ((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1)) -> rule2))]
("bald eagle" "likes" "lion" "-")
((((((((triple10 ((triple11 triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10 ((triple11 triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int4
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int5
((((((((triple10 ((triple11 triple8) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10 ((((triple8) -> (rule3 % int2)) triple8) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int5
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int6
((((((((triple10 ((((triple8) -> (rule3 % int6)) triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10 ((triple11 triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int4
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int5
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int6
((((((((triple10 ((((triple8) -> (rule3 % int6)) triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10 ((((triple8) -> (rule3 % int6)) triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int4
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int5
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int6
The lion does not visit the lion.
Unknown
inv-rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "visits" "lion" "-")
The lion is cold.
Unknown
rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "cold" "+")
The bear does not visit the lion.
Unknown
inv-rconc
[@1: The bear visits the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "visits" "lion" "-")
The bald eagle visits the lion.
Unknown
rconc
[@1: The bald eagle visits the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "visits" "lion" "+")
The bear does not visit the bear.
Unknown
inv-rconc
[@2: The bear visits the bear.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("bear" "visits" "bear" "-")
The tiger visits the lion.
Unknown
rconc
[@1: The tiger visits the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "visits" "lion" "+")
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The bald eagle sees the lion.
Unknown
random
[@0: The bald eagle sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "lion" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bear likes the bald eagle.
Unknown
random
[@0: The bear likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bald eagle" "+")
The bald eagle does not visit the tiger.
Unknown
inv-random
[@0: The bald eagle visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "tiger" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bald eagle likes the bear.[(triple1)] The bear is kind.[(triple2)] The bear likes the lion.[(triple3)] The bear likes the tiger.[(triple4)] The bear sees the bald eagle.[(triple5)] The bear visits the tiger.[(triple6)] The lion visits the bear.[(triple7)] The tiger is cold.[(triple8)] The tiger likes the bear.[(triple9)] The tiger sees the bald eagle.[(triple10)] The tiger visits the bear.[(triple11 OR ((triple8) -> rule3))] @1: The bear sees the tiger.[(((triple1) -> rule5) OR ((triple9) -> rule5))] The tiger likes the lion.[(((triple11 triple8) -> rule2) OR ((((triple8) -> rule3) triple8) -> rule2))] @2: The bald eagle sees the bear.[(((triple10 ((triple11 triple8) -> rule2)) -> rule7) OR ((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7))] @3: The bald eagle is cold.[(((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1) OR ((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1))] @4: The bald eagle visits the bear.[(((((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3) OR ((((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3))] @5: The bald eagle likes the lion.[(((((((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3) ((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3) ((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3) ((((triple10 ((triple11 triple8) -> rule2)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1)) -> rule3) ((((triple10 ((((triple8) -> rule3) triple8) -> rule2)) -> rule7)) -> rule1)) -> rule2))]
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear likes the lion.
("bear" "likes" "lion" "+")
triple3
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple4
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple5
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple6
The lion visits the bear.
("lion" "visits" "bear" "+")
triple7
The tiger is cold.
("tiger" "is" "cold" "+")
triple8
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple9
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple10
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple11
((triple8) -> (rule3 % int1))
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int1
The bear sees the tiger.
("bear" "sees" "tiger" "+")
((triple1) -> (rule5 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
((triple9) -> (rule5 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The tiger likes the lion.
("tiger" "likes" "lion" "+")
((triple11 triple8) -> (rule2 % int1))
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int1
((((triple8) -> (rule3 % int2)) triple8) -> (rule2 % int1))
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int1
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple10 ((triple11 triple8) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int2
((triple10 ((((triple8) -> (rule3 % int3)) triple8) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int2
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((((triple10 ((triple11 triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int3
((((triple10 ((((triple8) -> (rule3 % int4)) triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int3
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int4
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((((((triple10 ((triple11 triple8) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int3
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int4
((((((triple10 ((((triple8) -> (rule3 % int5)) triple8) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int3
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int4
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int5
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
((((((((triple10 ((triple11 triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10 ((triple11 triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int4
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int5
((((((((triple10 ((triple11 triple8) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple10 ((((triple8) -> (rule3 % int2)) triple8) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int5
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int6
((((((((triple10 ((((triple8) -> (rule3 % int6)) triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10 ((triple11 triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int4
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int5
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int6
((((((((triple10 ((((triple8) -> (rule3 % int6)) triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple10 ((((triple8) -> (rule3 % int6)) triple8) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int4
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int5
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int6