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