The bear likes the lion. The bear likes the tiger. The lion chases the rabbit. The lion chases the tiger. The lion is blue. The lion is cold. The lion is rough. The lion likes the bear. The lion visits the bear. The lion does not visit the rabbit. The rabbit is big. The rabbit is not cold. The rabbit likes the bear. The rabbit likes the lion. The rabbit visits the tiger. The tiger does not like the rabbit. If something chases the rabbit and the rabbit visits the tiger then it is blue. If something visits the tiger then it chases the rabbit. If something chases the rabbit then it chases the bear. If something likes the bear and the bear is blue then it likes the rabbit. If something is blue then it likes the tiger. If something chases the bear then the bear visits the tiger. If something is rough then it likes the lion. If something visits the bear and the bear likes the tiger then the bear likes the lion.
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion does not visit the rabbit.
("lion" "visits" "rabbit" "-")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is not cold.
("rabbit" "is" "cold" "-")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger does not like the rabbit.
("tiger" "likes" "rabbit" "-")
If something chases the rabbit and the rabbit visits the tiger then it is blue.
((("something" "chases" "rabbit" "+") ("rabbit" "visits" "tiger" "+")) -> ("something" "is" "blue" "+"))
If something visits the tiger then it chases the rabbit.
((("something" "visits" "tiger" "+")) -> ("something" "chases" "rabbit" "+"))
If something chases the rabbit then it chases the bear.
((("something" "chases" "rabbit" "+")) -> ("something" "chases" "bear" "+"))
If something likes the bear and the bear is blue then it likes the rabbit.
((("something" "likes" "bear" "+") ("bear" "is" "blue" "+")) -> ("something" "likes" "rabbit" "+"))
If something is blue then it likes the tiger.
((("something" "is" "blue" "+")) -> ("something" "likes" "tiger" "+"))
If something chases the bear then the bear visits the tiger.
((("something" "chases" "bear" "+")) -> ("bear" "visits" "tiger" "+"))
If something is rough then it likes the lion.
((("something" "is" "rough" "+")) -> ("something" "likes" "lion" "+"))
If something visits the bear and the bear likes the tiger then the bear likes the lion.
((("something" "visits" "bear" "+") ("bear" "likes" "tiger" "+")) -> ("bear" "likes" "lion" "+"))
The rabbit likes the bear.
True
1
proof
[(triple13)]
("rabbit" "likes" "bear" "+")
triple13
The lion does not like the bear.
False
1
inv-proof
[(triple8)]
("lion" "likes" "bear" "-")
triple8
The lion likes the lion.
True
2
proof
[(((triple7) -> rule7))]
("lion" "likes" "lion" "+")
((triple7) -> (rule7 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The rabbit does not chase the rabbit.
False
2
inv-proof
[(((triple15) -> rule2))]
("rabbit" "chases" "rabbit" "-")
((triple15) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit chases the bear.
True
3
proof
[(((((triple15) -> rule2)) -> rule3))]
("rabbit" "chases" "bear" "+")
((((triple15) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit does not chase the bear.
False
3
inv-proof
[(((((triple15) -> rule2)) -> rule3))]
("rabbit" "chases" "bear" "-")
((((triple15) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit likes the tiger.
True
5
proof
[(((((((triple15) -> rule2) triple15) -> rule1)) -> rule5))]
("rabbit" "likes" "tiger" "+")
((((((triple15) -> (rule2 % int3)) triple15) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The bear does not chase the rabbit.
False
4
inv-proof
[(((((((triple3) -> rule3)) -> rule6)) -> rule2) OR ((((((((triple15) -> rule2)) -> rule3)) -> rule6)) -> rule2))]
("bear" "chases" "rabbit" "-")
((((((triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int2
The lion chases the bear.
("lion" "chases" "bear" "+")
int3
((((((((triple15) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int4
The bear is blue.
True
6
proof
[(((((((((triple3) -> rule3)) -> rule6)) -> rule2) triple15) -> rule1) OR ((((((((((triple15) -> rule2)) -> rule3)) -> rule6)) -> rule2) triple15) -> rule1))]
("bear" "is" "blue" "+")
((((((((triple3) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple15) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int3
The lion chases the bear.
("lion" "chases" "bear" "+")
int4
((((((((((triple15) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple15) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int4
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int5
The bear does not chase the bear.
False
5
inv-proof
[(((((((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule3) OR ((((((((((triple15) -> rule2)) -> rule3)) -> rule6)) -> rule2)) -> rule3))]
("bear" "chases" "bear" "-")
((((((((triple3) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int3
The lion chases the bear.
("lion" "chases" "bear" "+")
int4
((((((((((triple15) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int4
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int5
The rabbit likes the rabbit.
True
8
proof
[(((triple13 ((((((((triple3) -> rule3)) -> rule6)) -> rule2) triple15) -> rule1)) -> rule4) OR ((triple13 ((((((((((triple15) -> rule2)) -> rule3)) -> rule6)) -> rule2) triple15) -> rule1)) -> rule4))]
("rabbit" "likes" "rabbit" "+")
((triple13 ((((((((triple3) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) triple15) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int4
The lion chases the bear.
("lion" "chases" "bear" "+")
int5
((triple13 ((((((((((triple15) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) triple15) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int4
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int5
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int6
The lion does not like the rabbit.
False
8
inv-proof
[(((triple8 ((((((((triple3) -> rule3)) -> rule6)) -> rule2) triple15) -> rule1)) -> rule4) OR ((triple8 ((((((((((triple15) -> rule2)) -> rule3)) -> rule6)) -> rule2) triple15) -> rule1)) -> rule4))]
("lion" "likes" "rabbit" "-")
((triple8 ((((((((triple3) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) triple15) -> (rule1 % int2))) -> (rule4 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int4
The lion chases the bear.
("lion" "chases" "bear" "+")
int5
((triple8 ((((((((((triple15) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) triple15) -> (rule1 % int2))) -> (rule4 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int4
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int5
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int6
The tiger does not chase the bear.
Unknown
inv-rconc
[@2: The tiger chases the bear.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("tiger" "chases" "bear" "-")
The bear likes the rabbit.
Unknown
rconc
[@1: The bear likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "rabbit" "+")
The tiger does not like the lion.
Unknown
inv-rconc
[@1: The tiger likes the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "likes" "lion" "-")
The tiger likes the tiger.
Unknown
rconc
[@3: The tiger likes the tiger.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule2 <- FAIL)]]
("tiger" "likes" "tiger" "+")
The tiger does not chase the rabbit.
Unknown
inv-rconc
[@1: The tiger chases the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "chases" "rabbit" "-")
The tiger is blue.
Unknown
rconc
[@2: The tiger is blue.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("tiger" "is" "blue" "+")
The tiger is not green.
Unknown
inv-random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "-")
The bear visits the lion.
Unknown
random
[@0: The bear visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "lion" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The bear likes the lion.[(triple1 OR ((triple9 triple2) -> rule8) OR ((triple9 ((((((((((triple3) -> rule3)) -> rule6)) -> rule2) triple15) -> rule1)) -> rule5)) -> rule8) OR ((triple9 ((((((((((((triple15) -> rule2)) -> rule3)) -> rule6)) -> rule2) triple15) -> rule1)) -> rule5)) -> rule8))] The bear likes the tiger.[(triple2 OR ((((((((((triple3) -> rule3)) -> rule6)) -> rule2) triple15) -> rule1)) -> rule5) OR ((((((((((((triple15) -> rule2)) -> rule3)) -> rule6)) -> rule2) triple15) -> rule1)) -> rule5))] The lion chases the rabbit.[(triple3)] The lion chases the tiger.[(triple4)] The lion does not visit the rabbit.[(triple10)] The lion is blue.[(triple5 OR ((triple3 triple15) -> rule1))] The lion is cold.[(triple6)] The lion is rough.[(triple7)] The lion likes the bear.[(triple8)] The lion visits the bear.[(triple9)] The rabbit is big.[(triple11)] The rabbit is not cold.[(triple12)] The rabbit likes the bear.[(triple13)] The rabbit likes the lion.[(triple14)] The rabbit visits the tiger.[(triple15)] The tiger does not like the rabbit.[(triple16)] @1: The lion chases the bear.[(((triple3) -> rule3))] The lion likes the lion.[(((triple7) -> rule7))] The lion likes the tiger.[(((triple5) -> rule5) OR ((((triple3 triple15) -> rule1)) -> rule5))] The rabbit chases the rabbit.[(((triple15) -> rule2))] @2: The bear visits the tiger.[(((((triple3) -> rule3)) -> rule6) OR ((((((triple15) -> rule2)) -> rule3)) -> rule6))] The rabbit chases the bear.[(((((triple15) -> rule2)) -> rule3))] The rabbit is blue.[(((((triple15) -> rule2) triple15) -> rule1))] @3: The bear chases the rabbit.[(((((((triple3) -> rule3)) -> rule6)) -> rule2) OR ((((((((triple15) -> rule2)) -> rule3)) -> rule6)) -> rule2))] The rabbit likes the tiger.[(((((((triple15) -> rule2) triple15) -> rule1)) -> rule5))] @4: The bear chases the bear.[(((((((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule3) OR ((((((((((triple15) -> rule2)) -> rule3)) -> rule6)) -> rule2)) -> rule3))] The bear is blue.[(((((((((triple3) -> rule3)) -> rule6)) -> rule2) triple15) -> rule1) OR ((((((((((triple15) -> rule2)) -> rule3)) -> rule6)) -> rule2) triple15) -> rule1))] @5: The lion likes the rabbit.[(((triple8 ((((((((triple3) -> rule3)) -> rule6)) -> rule2) triple15) -> rule1)) -> rule4) OR ((triple8 ((((((((((triple15) -> rule2)) -> rule3)) -> rule6)) -> rule2) triple15) -> rule1)) -> rule4))] The rabbit likes the rabbit.[(((triple13 ((((((((triple3) -> rule3)) -> rule6)) -> rule2) triple15) -> rule1)) -> rule4) OR ((triple13 ((((((((((triple15) -> rule2)) -> rule3)) -> rule6)) -> rule2) triple15) -> rule1)) -> rule4))]
The bear likes the lion.
("bear" "likes" "lion" "+")
triple1
((triple9 triple2) -> (rule8 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
((triple9 ((((((((((triple3) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule2 % int4)) triple15) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int4
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int5
The lion chases the bear.
("lion" "chases" "bear" "+")
int6
((triple9 ((((((((((((triple15) -> (rule2 % int7))) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule2 % int4)) triple15) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int4
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int5
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int6
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int7
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple2
((((((((((triple3) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) triple15) -> (rule1 % int2))) -> (rule5 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int4
The lion chases the bear.
("lion" "chases" "bear" "+")
int5
((((((((((((triple15) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) triple15) -> (rule1 % int2))) -> (rule5 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int4
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int5
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int6
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple3
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple4
The lion does not visit the rabbit.
("lion" "visits" "rabbit" "-")
triple10
The lion is blue.
("lion" "is" "blue" "+")
triple5
((triple3 triple15) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
triple6
The lion is rough.
("lion" "is" "rough" "+")
triple7
The lion likes the bear.
("lion" "likes" "bear" "+")
triple8
The lion visits the bear.
("lion" "visits" "bear" "+")
triple9
The rabbit is big.
("rabbit" "is" "big" "+")
triple11
The rabbit is not cold.
("rabbit" "is" "cold" "-")
triple12
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple13
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple14
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple15
The tiger does not like the rabbit.
("tiger" "likes" "rabbit" "-")
triple16
The lion chases the bear.
("lion" "chases" "bear" "+")
((triple3) -> (rule3 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple7) -> (rule7 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
((triple5) -> (rule5 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
((((triple3 triple15) -> (rule1 % int2))) -> (rule5 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple15) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
((((((triple15) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((((triple15) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
((((triple15) -> (rule2 % int2)) triple15) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
((((((triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int2
The lion chases the bear.
("lion" "chases" "bear" "+")
int3
((((((((triple15) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
((((((triple15) -> (rule2 % int3)) triple15) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The bear chases the bear.
("bear" "chases" "bear" "+")
((((((((triple3) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int3
The lion chases the bear.
("lion" "chases" "bear" "+")
int4
((((((((((triple15) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int4
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int5
The bear is blue.
("bear" "is" "blue" "+")
((((((((triple3) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple15) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int3
The lion chases the bear.
("lion" "chases" "bear" "+")
int4
((((((((((triple15) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple15) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int4
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int5
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
((triple8 ((((((((triple3) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) triple15) -> (rule1 % int2))) -> (rule4 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int4
The lion chases the bear.
("lion" "chases" "bear" "+")
int5
((triple8 ((((((((((triple15) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) triple15) -> (rule1 % int2))) -> (rule4 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int4
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int5
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int6
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple13 ((((((((triple3) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) triple15) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int4
The lion chases the bear.
("lion" "chases" "bear" "+")
int5
((triple13 ((((((((((triple15) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) triple15) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int4
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int5
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int6