The cat likes the dog. The cat sees the dog. The cat sees the rabbit. The dog sees the lion. The lion likes the cat. The lion sees the rabbit. The rabbit likes the dog. If something is cold then it likes the lion. If something likes the lion then the lion likes the dog. If something likes the dog then it is cold. If something sees the dog and the dog eats the rabbit then it is big. If something likes the dog then the dog is cold. If something sees the cat then it is red. If something is red and it likes the dog then the dog is big. If something sees the rabbit then it sees the lion.
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
If something is cold then it likes the lion.
((("something" "is" "cold" "+")) -> ("something" "likes" "lion" "+"))
If something likes the lion then the lion likes the dog.
((("something" "likes" "lion" "+")) -> ("lion" "likes" "dog" "+"))
If something likes the dog then it is cold.
((("something" "likes" "dog" "+")) -> ("something" "is" "cold" "+"))
If something sees the dog and the dog eats the rabbit then it is big.
((("something" "sees" "dog" "+") ("dog" "eats" "rabbit" "+")) -> ("something" "is" "big" "+"))
If something likes the dog then the dog is cold.
((("something" "likes" "dog" "+")) -> ("dog" "is" "cold" "+"))
If something sees the cat then it is red.
((("something" "sees" "cat" "+")) -> ("something" "is" "red" "+"))
If something is red and it likes the dog then the dog is big.
((("something" "is" "red" "+") ("something" "likes" "dog" "+")) -> ("dog" "is" "big" "+"))
If something sees the rabbit then it sees the lion.
((("something" "sees" "rabbit" "+")) -> ("something" "sees" "lion" "+"))
The cat likes the dog.
True
1
proof
[(triple1)]
("cat" "likes" "dog" "+")
triple1
The lion does not see the rabbit.
False
1
inv-proof
[(triple6)]
("lion" "sees" "rabbit" "-")
triple6
The rabbit is cold.
True
2
proof
[(((triple7) -> rule3))]
("rabbit" "is" "cold" "+")
((triple7) -> (rule3 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The cat is not cold.
False
2
inv-proof
[(((triple1) -> rule3))]
("cat" "is" "cold" "-")
((triple1) -> (rule3 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The rabbit likes the lion.
True
3
proof
[(((((triple7) -> rule3)) -> rule1))]
("rabbit" "likes" "lion" "+")
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The cat does not like the lion.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1))]
("cat" "likes" "lion" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The lion likes the dog.
True
4
proof
[(((((((triple1) -> rule3)) -> rule1)) -> rule2) OR ((((((triple1) -> rule5)) -> rule1)) -> rule2) OR ((((((triple7) -> rule3)) -> rule1)) -> rule2) OR ((((((triple7) -> rule5)) -> rule1)) -> rule2))]
("lion" "likes" "dog" "+")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The dog likes the lion.
("dog" "likes" "lion" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
int3
((((((triple7) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The dog likes the lion.
("dog" "likes" "lion" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The lion does not like the dog.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule1)) -> rule2) OR ((((((triple1) -> rule5)) -> rule1)) -> rule2) OR ((((((triple7) -> rule3)) -> rule1)) -> rule2) OR ((((((triple7) -> rule5)) -> rule1)) -> rule2))]
("lion" "likes" "dog" "-")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The dog likes the lion.
("dog" "likes" "lion" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
int3
((((((triple7) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The dog likes the lion.
("dog" "likes" "lion" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The lion is cold.
True
5
proof
[(((((((((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple7) -> rule3)) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple7) -> rule5)) -> rule1)) -> rule2)) -> rule3))]
("lion" "is" "cold" "+")
((((((((triple1) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The cat likes the lion.
("cat" "likes" "lion" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The dog likes the lion.
("dog" "likes" "lion" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
((((((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
int4
((((((((triple7) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The dog likes the lion.
("dog" "likes" "lion" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
The lion is not cold.
False
5
inv-proof
[(((((((((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple7) -> rule3)) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple7) -> rule5)) -> rule1)) -> rule2)) -> rule3))]
("lion" "is" "cold" "-")
((((((((triple1) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The cat likes the lion.
("cat" "likes" "lion" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The dog likes the lion.
("dog" "likes" "lion" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
((((((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
int4
((((((((triple7) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The dog likes the lion.
("dog" "likes" "lion" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
The lion likes the lion.
True
6
proof
[(((((((((((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule3)) -> rule1) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule1)) -> rule2)) -> rule3)) -> rule1) OR ((((((((((triple7) -> rule5)) -> rule1)) -> rule2)) -> rule3)) -> rule1))]
("lion" "likes" "lion" "+")
((((((((((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The cat likes the lion.
("cat" "likes" "lion" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The dog likes the lion.
("dog" "likes" "lion" "+")
int4
The dog is cold.
("dog" "is" "cold" "+")
int5
((((((((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int4
The rabbit is cold.
("rabbit" "is" "cold" "+")
int5
((((((((((triple7) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The dog likes the lion.
("dog" "likes" "lion" "+")
int4
The dog is cold.
("dog" "is" "cold" "+")
int5
The lion does not like the lion.
False
6
inv-proof
[(((((((((((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule3)) -> rule1) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule1)) -> rule2)) -> rule3)) -> rule1) OR ((((((((((triple7) -> rule5)) -> rule1)) -> rule2)) -> rule3)) -> rule1))]
("lion" "likes" "lion" "-")
((((((((((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The cat likes the lion.
("cat" "likes" "lion" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The dog likes the lion.
("dog" "likes" "lion" "+")
int4
The dog is cold.
("dog" "is" "cold" "+")
int5
((((((((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int4
The rabbit is cold.
("rabbit" "is" "cold" "+")
int5
((((((((((triple7) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The dog likes the lion.
("dog" "likes" "lion" "+")
int4
The dog is cold.
("dog" "is" "cold" "+")
int5
The rabbit does not see the lion.
Unknown
inv-rconc
[@1: The rabbit sees the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "sees" "lion" "-")
The dog is red.
Unknown
rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "red" "+")
The lion is not big.
Unknown
inv-rconc
[@1: The lion is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "is" "big" "-")
The lion is red.
Unknown
rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "red" "+")
The rabbit is not red.
Unknown
inv-rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "red" "-")
The cat is red.
Unknown
rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "red" "+")
The lion does not see the cat.
Unknown
inv-random
[@0: The lion sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "cat" "-")
The lion eats the rabbit.
Unknown
random
[@0: The lion eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "rabbit" "+")
The cat does not eat the rabbit.
Unknown
inv-random
[@0: The cat eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "rabbit" "-")
The lion likes the rabbit.
Unknown
random
[@0: The lion likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "rabbit" "+")
The rabbit does not eat the dog.
Unknown
inv-random
[@0: The rabbit eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "dog" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The cat likes the dog.[(triple1)] The cat sees the dog.[(triple2)] The cat sees the rabbit.[(triple3)] The dog sees the lion.[(triple4)] The lion likes the cat.[(triple5)] The lion sees the rabbit.[(triple6)] The rabbit likes the dog.[(triple7)] @1: The cat is cold.[(((triple1) -> rule3))] The cat sees the lion.[(((triple3) -> rule8))] The dog is cold.[(((triple1) -> rule5) OR ((triple7) -> rule5) OR ((((((((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule5) OR ((((((((triple7) -> rule3)) -> rule1)) -> rule2)) -> rule5))] The lion sees the lion.[(((triple6) -> rule8))] The rabbit is cold.[(((triple7) -> rule3))] @2: The cat likes the lion.[(((((triple1) -> rule3)) -> rule1))] The dog likes the lion.[(((((triple1) -> rule5)) -> rule1) OR ((((triple7) -> rule5)) -> rule1) OR ((((((((((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule1)) -> rule2)) -> rule5)) -> rule1))] The rabbit likes the lion.[(((((triple7) -> rule3)) -> rule1))] @3: The lion likes the dog.[(((((((triple1) -> rule3)) -> rule1)) -> rule2) OR ((((((triple1) -> rule5)) -> rule1)) -> rule2) OR ((((((triple7) -> rule3)) -> rule1)) -> rule2) OR ((((((triple7) -> rule5)) -> rule1)) -> rule2))] @4: The lion is cold.[(((((((((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple7) -> rule3)) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple7) -> rule5)) -> rule1)) -> rule2)) -> rule3))] @5: The lion likes the lion.[(((((((((((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule3)) -> rule1) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule1)) -> rule2)) -> rule3)) -> rule1) OR ((((((((((triple7) -> rule5)) -> rule1)) -> rule2)) -> rule3)) -> rule1))]
The cat likes the dog.
("cat" "likes" "dog" "+")
triple1
The cat sees the dog.
("cat" "sees" "dog" "+")
triple2
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple3
The dog sees the lion.
("dog" "sees" "lion" "+")
triple4
The lion likes the cat.
("lion" "likes" "cat" "+")
triple5
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple6
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple7
The cat is cold.
("cat" "is" "cold" "+")
((triple1) -> (rule3 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat sees the lion.
("cat" "sees" "lion" "+")
((triple3) -> (rule8 % int1))
The cat sees the lion.
("cat" "sees" "lion" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
((triple1) -> (rule5 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
((triple7) -> (rule5 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
((((((((triple1) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The cat likes the lion.
("cat" "likes" "lion" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
((((((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
int4
The lion sees the lion.
("lion" "sees" "lion" "+")
((triple6) -> (rule8 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple7) -> (rule3 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The dog likes the lion.
("dog" "likes" "lion" "+")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The dog likes the lion.
("dog" "likes" "lion" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule1 % int1))
The dog likes the lion.
("dog" "likes" "lion" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
((((((((((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The dog likes the lion.
("dog" "likes" "lion" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The cat likes the lion.
("cat" "likes" "lion" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
int5
((((((((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The dog likes the lion.
("dog" "likes" "lion" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int4
The rabbit is cold.
("rabbit" "is" "cold" "+")
int5
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The dog likes the lion.
("dog" "likes" "lion" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
int3
((((((triple7) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The dog likes the lion.
("dog" "likes" "lion" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The lion is cold.
("lion" "is" "cold" "+")
((((((((triple1) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The cat likes the lion.
("cat" "likes" "lion" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The dog likes the lion.
("dog" "likes" "lion" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
((((((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int3
The rabbit is cold.
("rabbit" "is" "cold" "+")
int4
((((((((triple7) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion likes the dog.
("lion" "likes" "dog" "+")
int2
The dog likes the lion.
("dog" "likes" "lion" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
((((((((((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The cat likes the lion.
("cat" "likes" "lion" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The dog likes the lion.
("dog" "likes" "lion" "+")
int4
The dog is cold.
("dog" "is" "cold" "+")
int5
((((((((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int4
The rabbit is cold.
("rabbit" "is" "cold" "+")
int5
((((((((((triple7) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
int3
The dog likes the lion.
("dog" "likes" "lion" "+")
int4
The dog is cold.
("dog" "is" "cold" "+")
int5