The bear is young. The bear likes the cow. The cow chases the lion. The cow visits the bear. The lion chases the bear. The lion chases the rabbit. The lion is red. The lion is young. The lion visits the bear. The lion visits the rabbit. The rabbit visits the bear. The rabbit visits the lion. If someone likes the lion and they like the bear then the bear visits the rabbit. If someone chases the rabbit then the rabbit chases the cow. If someone is blue then they like the lion. If someone visits the rabbit then they are blue. If the lion chases the rabbit and the lion is red then the rabbit likes the cow. If someone is red then they visit the cow. If someone likes the lion then the lion likes the bear. If someone visits the bear then they are blue.
The bear is young.
("bear" "is" "young" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is young.
("lion" "is" "young" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If someone likes the lion and they like the bear then the bear visits the rabbit.
((("someone" "likes" "lion" "+") ("someone" "likes" "bear" "+")) -> ("bear" "visits" "rabbit" "+"))
If someone chases the rabbit then the rabbit chases the cow.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "chases" "cow" "+"))
If someone is blue then they like the lion.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "lion" "+"))
If someone visits the rabbit then they are blue.
((("someone" "visits" "rabbit" "+")) -> ("someone" "is" "blue" "+"))
If the lion chases the rabbit and the lion is red then the rabbit likes the cow.
((("lion" "chases" "rabbit" "+") ("lion" "is" "red" "+")) -> ("rabbit" "likes" "cow" "+"))
If someone is red then they visit the cow.
((("someone" "is" "red" "+")) -> ("someone" "visits" "cow" "+"))
If someone likes the lion then the lion likes the bear.
((("someone" "likes" "lion" "+")) -> ("lion" "likes" "bear" "+"))
If someone visits the bear then they are blue.
((("someone" "visits" "bear" "+")) -> ("someone" "is" "blue" "+"))
The rabbit visits the bear.
True
1
proof
[(triple11)]
("rabbit" "visits" "bear" "+")
triple11
The lion does not visit the rabbit.
False
1
inv-proof
[(triple10)]
("lion" "visits" "rabbit" "-")
triple10
The lion visits the cow.
True
2
proof
[(((triple7) -> rule6))]
("lion" "visits" "cow" "+")
((triple7) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The cow is not blue.
False
2
inv-proof
[(((triple4) -> rule8))]
("cow" "is" "blue" "-")
((triple4) -> (rule8 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow likes the lion.
True
3
proof
[(((((triple4) -> rule8)) -> rule3))]
("cow" "likes" "lion" "+")
((((triple4) -> (rule8 % int2))) -> (rule3 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The lion does not like the lion.
False
3
inv-proof
[(((((triple10) -> rule4)) -> rule3) OR ((((triple9) -> rule8)) -> rule3))]
("lion" "likes" "lion" "-")
((((triple10) -> (rule4 % int2))) -> (rule3 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
((((triple9) -> (rule8 % int2))) -> (rule3 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion likes the bear.
True
4
proof
[(((((((triple10) -> rule4)) -> rule3)) -> rule7) OR ((((((triple11) -> rule8)) -> rule3)) -> rule7) OR ((((((triple4) -> rule8)) -> rule3)) -> rule7) OR ((((((triple9) -> rule8)) -> rule3)) -> rule7))]
("lion" "likes" "bear" "+")
((((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
((((((triple11) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((((triple4) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
((((((triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The lion does not like the bear.
False
4
inv-proof
[(((((((triple10) -> rule4)) -> rule3)) -> rule7) OR ((((((triple11) -> rule8)) -> rule3)) -> rule7) OR ((((((triple4) -> rule8)) -> rule3)) -> rule7) OR ((((((triple9) -> rule8)) -> rule3)) -> rule7))]
("lion" "likes" "bear" "-")
((((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
((((((triple11) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((((triple4) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
((((((triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The bear visits the rabbit.
True
8
proof
[(((((((triple10) -> rule4)) -> rule3) ((((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple10) -> rule4)) -> rule3) ((((((triple11) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple10) -> rule4)) -> rule3) ((((((triple4) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple10) -> rule4)) -> rule3) ((((((triple9) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple9) -> rule8)) -> rule3) ((((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple9) -> rule8)) -> rule3) ((((((triple11) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple9) -> rule8)) -> rule3) ((((((triple4) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple9) -> rule8)) -> rule3) ((((((triple9) -> rule8)) -> rule3)) -> rule7)) -> rule1))]
("bear" "visits" "rabbit" "+")
((((((triple10) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
((((((triple10) -> (rule4 % int6))) -> (rule3 % int5)) ((((((triple11) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion is blue.
("lion" "is" "blue" "+")
int6
((((((triple10) -> (rule4 % int6))) -> (rule3 % int5)) ((((((triple4) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The cow likes the lion.
("cow" "likes" "lion" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion is blue.
("lion" "is" "blue" "+")
int6
((((((triple10) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
((((((triple9) -> (rule8 % int4))) -> (rule3 % int3)) ((((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
((((((triple9) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple11) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion is blue.
("lion" "is" "blue" "+")
int6
((((((triple9) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple4) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The cow likes the lion.
("cow" "likes" "lion" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion is blue.
("lion" "is" "blue" "+")
int6
((((((triple9) -> (rule8 % int4))) -> (rule3 % int3)) ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
The bear does not visit the rabbit.
False
8
inv-proof
[(((((((triple10) -> rule4)) -> rule3) ((((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple10) -> rule4)) -> rule3) ((((((triple11) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple10) -> rule4)) -> rule3) ((((((triple4) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple10) -> rule4)) -> rule3) ((((((triple9) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple9) -> rule8)) -> rule3) ((((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple9) -> rule8)) -> rule3) ((((((triple11) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple9) -> rule8)) -> rule3) ((((((triple4) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple9) -> rule8)) -> rule3) ((((((triple9) -> rule8)) -> rule3)) -> rule7)) -> rule1))]
("bear" "visits" "rabbit" "-")
((((((triple10) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
((((((triple10) -> (rule4 % int6))) -> (rule3 % int5)) ((((((triple11) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion is blue.
("lion" "is" "blue" "+")
int6
((((((triple10) -> (rule4 % int6))) -> (rule3 % int5)) ((((((triple4) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The cow likes the lion.
("cow" "likes" "lion" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion is blue.
("lion" "is" "blue" "+")
int6
((((((triple10) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
((((((triple9) -> (rule8 % int4))) -> (rule3 % int3)) ((((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
((((((triple9) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple11) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion is blue.
("lion" "is" "blue" "+")
int6
((((((triple9) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple4) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The cow likes the lion.
("cow" "likes" "lion" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion is blue.
("lion" "is" "blue" "+")
int6
((((((triple9) -> (rule8 % int4))) -> (rule3 % int3)) ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
The bear is blue.
True
9
proof
[(((((((((triple10) -> rule4)) -> rule3) ((((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple10) -> rule4)) -> rule3) ((((((triple11) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple10) -> rule4)) -> rule3) ((((((triple4) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple10) -> rule4)) -> rule3) ((((((triple9) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule8)) -> rule3) ((((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule8)) -> rule3) ((((((triple11) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule8)) -> rule3) ((((((triple4) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule8)) -> rule3) ((((((triple9) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4))]
("bear" "is" "blue" "+")
((((((((triple10) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
int5
((((((((triple10) -> (rule4 % int7))) -> (rule3 % int6)) ((((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
The lion likes the lion.
("lion" "likes" "lion" "+")
int6
The lion is blue.
("lion" "is" "blue" "+")
int7
((((((((triple10) -> (rule4 % int7))) -> (rule3 % int6)) ((((((triple4) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The cow likes the lion.
("cow" "likes" "lion" "+")
int4
The cow is blue.
("cow" "is" "blue" "+")
int5
The lion likes the lion.
("lion" "likes" "lion" "+")
int6
The lion is blue.
("lion" "is" "blue" "+")
int7
((((((((triple10) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple9) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
int5
((((((((triple9) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
int5
((((((((triple9) -> (rule8 % int7))) -> (rule3 % int6)) ((((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
The lion likes the lion.
("lion" "likes" "lion" "+")
int6
The lion is blue.
("lion" "is" "blue" "+")
int7
((((((((triple9) -> (rule8 % int7))) -> (rule3 % int6)) ((((((triple4) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The cow likes the lion.
("cow" "likes" "lion" "+")
int4
The cow is blue.
("cow" "is" "blue" "+")
int5
The lion likes the lion.
("lion" "likes" "lion" "+")
int6
The lion is blue.
("lion" "is" "blue" "+")
int7
((((((((triple9) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple9) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
int5
The bear is not blue.
False
9
inv-proof
[(((((((((triple10) -> rule4)) -> rule3) ((((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple10) -> rule4)) -> rule3) ((((((triple11) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple10) -> rule4)) -> rule3) ((((((triple4) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple10) -> rule4)) -> rule3) ((((((triple9) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule8)) -> rule3) ((((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule8)) -> rule3) ((((((triple11) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule8)) -> rule3) ((((((triple4) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule8)) -> rule3) ((((((triple9) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4))]
("bear" "is" "blue" "-")
((((((((triple10) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
int5
((((((((triple10) -> (rule4 % int7))) -> (rule3 % int6)) ((((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
The lion likes the lion.
("lion" "likes" "lion" "+")
int6
The lion is blue.
("lion" "is" "blue" "+")
int7
((((((((triple10) -> (rule4 % int7))) -> (rule3 % int6)) ((((((triple4) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The cow likes the lion.
("cow" "likes" "lion" "+")
int4
The cow is blue.
("cow" "is" "blue" "+")
int5
The lion likes the lion.
("lion" "likes" "lion" "+")
int6
The lion is blue.
("lion" "is" "blue" "+")
int7
((((((((triple10) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple9) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
int5
((((((((triple9) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
int5
((((((((triple9) -> (rule8 % int7))) -> (rule3 % int6)) ((((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
The lion likes the lion.
("lion" "likes" "lion" "+")
int6
The lion is blue.
("lion" "is" "blue" "+")
int7
((((((((triple9) -> (rule8 % int7))) -> (rule3 % int6)) ((((((triple4) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The cow likes the lion.
("cow" "likes" "lion" "+")
int4
The cow is blue.
("cow" "is" "blue" "+")
int5
The lion likes the lion.
("lion" "likes" "lion" "+")
int6
The lion is blue.
("lion" "is" "blue" "+")
int7
((((((((triple9) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple9) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
int5
The bear does not visit the cow.
Unknown
inv-rconc
[@1: The bear visits the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "visits" "cow" "-")
The rabbit visits the cow.
Unknown
rconc
[@1: The rabbit visits the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "visits" "cow" "+")
The cow does not visit the cow.
Unknown
inv-rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "visits" "cow" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The cow chases the bear.
Unknown
random
[@0: The cow chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bear" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The bear chases the rabbit.
Unknown
random
[@0: The bear chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "rabbit" "+")
The cow does not visit the rabbit.
Unknown
inv-random
[@0: The cow visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "rabbit" "-")
The lion likes the cow.
Unknown
random
[@0: The lion likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cow" "+")
The bear does not chase the lion.
Unknown
inv-random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "-")
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 is young.[(triple1)] The bear likes the cow.[(triple2)] The cow chases the lion.[(triple3)] The cow visits the bear.[(triple4)] The lion chases the bear.[(triple5)] The lion chases the rabbit.[(triple6)] The lion is red.[(triple7)] The lion is young.[(triple8)] The lion visits the bear.[(triple9)] The lion visits the rabbit.[(triple10)] The rabbit visits the bear.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The cow is blue.[(((triple4) -> rule8))] The lion is blue.[(((triple10) -> rule4) OR ((triple9) -> rule8))] The lion visits the cow.[(((triple7) -> rule6))] The rabbit chases the cow.[(((triple6) -> rule2))] The rabbit is blue.[(((triple11) -> rule8))] The rabbit likes the cow.[(((triple6 triple7) -> rule5))] @2: The cow likes the lion.[(((((triple4) -> rule8)) -> rule3))] The lion likes the lion.[(((((triple10) -> rule4)) -> rule3) OR ((((triple9) -> rule8)) -> rule3))] The rabbit likes the lion.[(((((triple11) -> rule8)) -> rule3))] @3: The lion likes the bear.[(((((((triple10) -> rule4)) -> rule3)) -> rule7) OR ((((((triple11) -> rule8)) -> rule3)) -> rule7) OR ((((((triple4) -> rule8)) -> rule3)) -> rule7) OR ((((((triple9) -> rule8)) -> rule3)) -> rule7))] @4: The bear visits the rabbit.[(((((((triple10) -> rule4)) -> rule3) ((((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple10) -> rule4)) -> rule3) ((((((triple11) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple10) -> rule4)) -> rule3) ((((((triple4) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple10) -> rule4)) -> rule3) ((((((triple9) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple9) -> rule8)) -> rule3) ((((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple9) -> rule8)) -> rule3) ((((((triple11) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple9) -> rule8)) -> rule3) ((((((triple4) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple9) -> rule8)) -> rule3) ((((((triple9) -> rule8)) -> rule3)) -> rule7)) -> rule1))] @5: The bear is blue.[(((((((((triple10) -> rule4)) -> rule3) ((((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple10) -> rule4)) -> rule3) ((((((triple11) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple10) -> rule4)) -> rule3) ((((((triple4) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple10) -> rule4)) -> rule3) ((((((triple9) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule8)) -> rule3) ((((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule8)) -> rule3) ((((((triple11) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule8)) -> rule3) ((((((triple4) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule8)) -> rule3) ((((((triple9) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4))] @6: The bear likes the lion.[(((((((((((triple10) -> rule4)) -> rule3) ((((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule1)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule4)) -> rule3) ((((((triple11) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule4)) -> rule3) ((((((triple4) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule4)) -> rule3) ((((((triple9) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4)) -> rule3) OR ((((((((((triple9) -> rule8)) -> rule3) ((((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule1)) -> rule4)) -> rule3) OR ((((((((((triple9) -> rule8)) -> rule3) ((((((triple11) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4)) -> rule3) OR ((((((((((triple9) -> rule8)) -> rule3) ((((((triple4) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4)) -> rule3) OR ((((((((((triple9) -> rule8)) -> rule3) ((((((triple9) -> rule8)) -> rule3)) -> rule7)) -> rule1)) -> rule4)) -> rule3))]
The bear is young.
("bear" "is" "young" "+")
triple1
The bear likes the cow.
("bear" "likes" "cow" "+")
triple2
The cow chases the lion.
("cow" "chases" "lion" "+")
triple3
The cow visits the bear.
("cow" "visits" "bear" "+")
triple4
The lion chases the bear.
("lion" "chases" "bear" "+")
triple5
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7
The lion is young.
("lion" "is" "young" "+")
triple8
The lion visits the bear.
("lion" "visits" "bear" "+")
triple9
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple10
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple11
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple12
The cow is blue.
("cow" "is" "blue" "+")
((triple4) -> (rule8 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
((triple10) -> (rule4 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
((triple9) -> (rule8 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
((triple7) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
((triple6) -> (rule2 % int1))
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple11) -> (rule8 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
((triple6 triple7) -> (rule5 % int1))
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
((((triple4) -> (rule8 % int2))) -> (rule3 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
((((triple10) -> (rule4 % int2))) -> (rule3 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
((((triple9) -> (rule8 % int2))) -> (rule3 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
((((triple11) -> (rule8 % int2))) -> (rule3 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
((((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
((((((triple11) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((((triple4) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
((((((triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
((((((triple10) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
((((((triple10) -> (rule4 % int6))) -> (rule3 % int5)) ((((((triple11) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion is blue.
("lion" "is" "blue" "+")
int6
((((((triple10) -> (rule4 % int6))) -> (rule3 % int5)) ((((((triple4) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The cow likes the lion.
("cow" "likes" "lion" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion is blue.
("lion" "is" "blue" "+")
int6
((((((triple10) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
((((((triple9) -> (rule8 % int4))) -> (rule3 % int3)) ((((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
((((((triple9) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple11) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion is blue.
("lion" "is" "blue" "+")
int6
((((((triple9) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple4) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The cow likes the lion.
("cow" "likes" "lion" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion is blue.
("lion" "is" "blue" "+")
int6
((((((triple9) -> (rule8 % int4))) -> (rule3 % int3)) ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
The bear is blue.
("bear" "is" "blue" "+")
((((((((triple10) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
int5
((((((((triple10) -> (rule4 % int7))) -> (rule3 % int6)) ((((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
The lion likes the lion.
("lion" "likes" "lion" "+")
int6
The lion is blue.
("lion" "is" "blue" "+")
int7
((((((((triple10) -> (rule4 % int7))) -> (rule3 % int6)) ((((((triple4) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The cow likes the lion.
("cow" "likes" "lion" "+")
int4
The cow is blue.
("cow" "is" "blue" "+")
int5
The lion likes the lion.
("lion" "likes" "lion" "+")
int6
The lion is blue.
("lion" "is" "blue" "+")
int7
((((((((triple10) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple9) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
int5
((((((((triple9) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
int5
((((((((triple9) -> (rule8 % int7))) -> (rule3 % int6)) ((((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
The lion likes the lion.
("lion" "likes" "lion" "+")
int6
The lion is blue.
("lion" "is" "blue" "+")
int7
((((((((triple9) -> (rule8 % int7))) -> (rule3 % int6)) ((((((triple4) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The cow likes the lion.
("cow" "likes" "lion" "+")
int4
The cow is blue.
("cow" "is" "blue" "+")
int5
The lion likes the lion.
("lion" "likes" "lion" "+")
int6
The lion is blue.
("lion" "is" "blue" "+")
int7
((((((((triple9) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple9) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The lion likes the bear.
("lion" "likes" "bear" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
int5
The bear likes the lion.
("bear" "likes" "lion" "+")
((((((((((triple10) -> (rule4 % int6))) -> (rule3 % int5)) ((((((triple10) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The lion likes the bear.
("lion" "likes" "bear" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion is blue.
("lion" "is" "blue" "+")
int6
((((((((((triple10) -> (rule4 % int8))) -> (rule3 % int7)) ((((((triple11) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The lion likes the bear.
("lion" "likes" "bear" "+")
int4
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int5
The rabbit is blue.
("rabbit" "is" "blue" "+")
int6
The lion likes the lion.
("lion" "likes" "lion" "+")
int7
The lion is blue.
("lion" "is" "blue" "+")
int8
((((((((((triple10) -> (rule4 % int8))) -> (rule3 % int7)) ((((((triple4) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The lion likes the bear.
("lion" "likes" "bear" "+")
int4
The cow likes the lion.
("cow" "likes" "lion" "+")
int5
The cow is blue.
("cow" "is" "blue" "+")
int6
The lion likes the lion.
("lion" "likes" "lion" "+")
int7
The lion is blue.
("lion" "is" "blue" "+")
int8
((((((((((triple10) -> (rule4 % int6))) -> (rule3 % int5)) ((((((triple9) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The lion likes the bear.
("lion" "likes" "bear" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion is blue.
("lion" "is" "blue" "+")
int6
((((((((((triple9) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple10) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The lion likes the bear.
("lion" "likes" "bear" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion is blue.
("lion" "is" "blue" "+")
int6
((((((((((triple9) -> (rule8 % int8))) -> (rule3 % int7)) ((((((triple11) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The lion likes the bear.
("lion" "likes" "bear" "+")
int4
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int5
The rabbit is blue.
("rabbit" "is" "blue" "+")
int6
The lion likes the lion.
("lion" "likes" "lion" "+")
int7
The lion is blue.
("lion" "is" "blue" "+")
int8
((((((((((triple9) -> (rule8 % int8))) -> (rule3 % int7)) ((((((triple4) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The lion likes the bear.
("lion" "likes" "bear" "+")
int4
The cow likes the lion.
("cow" "likes" "lion" "+")
int5
The cow is blue.
("cow" "is" "blue" "+")
int6
The lion likes the lion.
("lion" "likes" "lion" "+")
int7
The lion is blue.
("lion" "is" "blue" "+")
int8
((((((((((triple9) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple9) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The lion likes the bear.
("lion" "likes" "bear" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion is blue.
("lion" "is" "blue" "+")
int6