The cat is kind. The cat is round. The cat likes the dog. The cat needs the dog. The cat sees the dog. The dog is big. The dog is cold. The dog is green. The dog is round. The dog likes the cat. The dog needs the cat. The dog sees the cat. If something sees the dog then the dog likes the cat. If the dog sees the cat then the cat needs the dog. If something is round then it needs the dog. If something sees the cat then it is green. If something needs the dog then it is cold. If something is cold then it sees the cat.
The cat is kind.
("cat" "is" "kind" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
If something sees the dog then the dog likes the cat.
((("something" "sees" "dog" "+")) -> ("dog" "likes" "cat" "+"))
If the dog sees the cat then the cat needs the dog.
((("dog" "sees" "cat" "+")) -> ("cat" "needs" "dog" "+"))
If something is round then it needs the dog.
((("something" "is" "round" "+")) -> ("something" "needs" "dog" "+"))
If something sees the cat then it is green.
((("something" "sees" "cat" "+")) -> ("something" "is" "green" "+"))
If something needs the dog then it is cold.
((("something" "needs" "dog" "+")) -> ("something" "is" "cold" "+"))
If something is cold then it sees the cat.
((("something" "is" "cold" "+")) -> ("something" "sees" "cat" "+"))
The dog needs the cat.
True
1
proof
[(triple11)]
("dog" "needs" "cat" "+")
triple11
The cat does not need the dog.
False
1
inv-proof
[(triple4 OR ((triple12) -> rule2) OR ((triple2) -> rule3) OR ((((triple7) -> rule6)) -> rule2) OR ((((((((triple9) -> rule3)) -> rule5)) -> rule6)) -> rule2))]
("cat" "needs" "dog" "-")
triple4
((triple12) -> (rule2 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
((triple2) -> (rule3 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The dog sees the cat.
("dog" "sees" "cat" "+")
int2
((((((((triple9) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The dog sees the cat.
("dog" "sees" "cat" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
The dog needs the dog.
True
2
proof
[(((triple9) -> rule3))]
("dog" "needs" "dog" "+")
((triple9) -> (rule3 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The cat is not cold.
False
2
inv-proof
[(((triple4) -> rule5) OR ((((triple12) -> rule2)) -> rule5) OR ((((triple2) -> rule3)) -> rule5) OR ((((((triple7) -> rule6)) -> rule2)) -> rule5) OR ((((((((((triple9) -> rule3)) -> rule5)) -> rule6)) -> rule2)) -> rule5))]
("cat" "is" "cold" "-")
((triple4) -> (rule5 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule5 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
The dog sees the cat.
("dog" "sees" "cat" "+")
int3
((((((((((triple9) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
The dog sees the cat.
("dog" "sees" "cat" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5
The cat sees the cat.
True
3
proof
[(((((triple4) -> rule5)) -> rule6) OR ((((((triple12) -> rule2)) -> rule5)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple7) -> rule6)) -> rule2)) -> rule5)) -> rule6) OR ((((((((((((triple9) -> rule3)) -> rule5)) -> rule6)) -> rule2)) -> rule5)) -> rule6))]
("cat" "sees" "cat" "+")
((((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
((((((triple12) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
((((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
The dog sees the cat.
("dog" "sees" "cat" "+")
int4
((((((((((((triple9) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
The dog sees the cat.
("dog" "sees" "cat" "+")
int4
The dog is cold.
("dog" "is" "cold" "+")
int5
The dog needs the dog.
("dog" "needs" "dog" "+")
int6
The cat does not see the cat.
False
3
inv-proof
[(((((triple4) -> rule5)) -> rule6) OR ((((((triple12) -> rule2)) -> rule5)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple7) -> rule6)) -> rule2)) -> rule5)) -> rule6) OR ((((((((((((triple9) -> rule3)) -> rule5)) -> rule6)) -> rule2)) -> rule5)) -> rule6))]
("cat" "sees" "cat" "-")
((((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
((((((triple12) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
((((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
The dog sees the cat.
("dog" "sees" "cat" "+")
int4
((((((((((((triple9) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
The dog sees the cat.
("dog" "sees" "cat" "+")
int4
The dog is cold.
("dog" "is" "cold" "+")
int5
The dog needs the dog.
("dog" "needs" "dog" "+")
int6
The cat is green.
True
4
proof
[(((((((triple4) -> rule5)) -> rule6)) -> rule4) OR ((((((((triple12) -> rule2)) -> rule5)) -> rule6)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule5)) -> rule6)) -> rule4) OR ((((((((((triple7) -> rule6)) -> rule2)) -> rule5)) -> rule6)) -> rule4) OR ((((((((((((((triple9) -> rule3)) -> rule5)) -> rule6)) -> rule2)) -> rule5)) -> rule6)) -> rule4))]
("cat" "is" "green" "+")
((((((triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
((((((((triple12) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
((((((((((triple7) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
The dog sees the cat.
("dog" "sees" "cat" "+")
int5
((((((((((((((triple9) -> (rule3 % int7))) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
The dog sees the cat.
("dog" "sees" "cat" "+")
int5
The dog is cold.
("dog" "is" "cold" "+")
int6
The dog needs the dog.
("dog" "needs" "dog" "+")
int7
The cat is not green.
False
4
inv-proof
[(((((((triple4) -> rule5)) -> rule6)) -> rule4) OR ((((((((triple12) -> rule2)) -> rule5)) -> rule6)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule5)) -> rule6)) -> rule4) OR ((((((((((triple7) -> rule6)) -> rule2)) -> rule5)) -> rule6)) -> rule4) OR ((((((((((((((triple9) -> rule3)) -> rule5)) -> rule6)) -> rule2)) -> rule5)) -> rule6)) -> rule4))]
("cat" "is" "green" "-")
((((((triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
((((((((triple12) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
((((((((((triple7) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
The dog sees the cat.
("dog" "sees" "cat" "+")
int5
((((((((((((((triple9) -> (rule3 % int7))) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
The dog sees the cat.
("dog" "sees" "cat" "+")
int5
The dog is cold.
("dog" "is" "cold" "+")
int6
The dog needs the dog.
("dog" "needs" "dog" "+")
int7
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
The cat is not big.
Unknown
inv-random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The cat is kind.[(triple1)] The cat is round.[(triple2)] The cat likes the dog.[(triple3)] The cat needs the dog.[(triple4 OR ((triple12) -> rule2) OR ((triple2) -> rule3) OR ((((triple7) -> rule6)) -> rule2) OR ((((((((triple9) -> rule3)) -> rule5)) -> rule6)) -> rule2))] The cat sees the dog.[(triple5)] The dog is big.[(triple6)] The dog is cold.[(triple7 OR ((((triple9) -> rule3)) -> rule5))] The dog is green.[(triple8 OR ((triple12) -> rule4) OR ((((triple7) -> rule6)) -> rule4) OR ((((((((triple9) -> rule3)) -> rule5)) -> rule6)) -> rule4))] The dog is round.[(triple9)] The dog likes the cat.[(triple10 OR ((triple5) -> rule1))] The dog needs the cat.[(triple11)] The dog sees the cat.[(triple12 OR ((triple7) -> rule6) OR ((((((triple9) -> rule3)) -> rule5)) -> rule6))] @1: The cat is cold.[(((triple4) -> rule5) OR ((((triple12) -> rule2)) -> rule5) OR ((((triple2) -> rule3)) -> rule5) OR ((((((triple7) -> rule6)) -> rule2)) -> rule5) OR ((((((((((triple9) -> rule3)) -> rule5)) -> rule6)) -> rule2)) -> rule5))] The dog needs the dog.[(((triple9) -> rule3))] @2: The cat sees the cat.[(((((triple4) -> rule5)) -> rule6) OR ((((((triple12) -> rule2)) -> rule5)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple7) -> rule6)) -> rule2)) -> rule5)) -> rule6) OR ((((((((((((triple9) -> rule3)) -> rule5)) -> rule6)) -> rule2)) -> rule5)) -> rule6))] @3: The cat is green.[(((((((triple4) -> rule5)) -> rule6)) -> rule4) OR ((((((((triple12) -> rule2)) -> rule5)) -> rule6)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule5)) -> rule6)) -> rule4) OR ((((((((((triple7) -> rule6)) -> rule2)) -> rule5)) -> rule6)) -> rule4) OR ((((((((((((((triple9) -> rule3)) -> rule5)) -> rule6)) -> rule2)) -> rule5)) -> rule6)) -> rule4))]
The cat is kind.
("cat" "is" "kind" "+")
triple1
The cat is round.
("cat" "is" "round" "+")
triple2
The cat likes the dog.
("cat" "likes" "dog" "+")
triple3
The cat needs the dog.
("cat" "needs" "dog" "+")
triple4
((triple12) -> (rule2 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
((triple2) -> (rule3 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The dog sees the cat.
("dog" "sees" "cat" "+")
int2
((((((((triple9) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The dog sees the cat.
("dog" "sees" "cat" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
The cat sees the dog.
("cat" "sees" "dog" "+")
triple5
The dog is big.
("dog" "is" "big" "+")
triple6
The dog is cold.
("dog" "is" "cold" "+")
triple7
((((triple9) -> (rule3 % int2))) -> (rule5 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is green.
("dog" "is" "green" "+")
triple8
((triple12) -> (rule4 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog sees the cat.
("dog" "sees" "cat" "+")
int2
((((((((triple9) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog sees the cat.
("dog" "sees" "cat" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
The dog is round.
("dog" "is" "round" "+")
triple9
The dog likes the cat.
("dog" "likes" "cat" "+")
triple10
((triple5) -> (rule1 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
triple11
The dog sees the cat.
("dog" "sees" "cat" "+")
triple12
((triple7) -> (rule6 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1
((((((triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
((triple4) -> (rule5 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule5 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
The dog sees the cat.
("dog" "sees" "cat" "+")
int3
((((((((((triple9) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
The dog sees the cat.
("dog" "sees" "cat" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple9) -> (rule3 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
((((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
((((((triple12) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
((((((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
The dog sees the cat.
("dog" "sees" "cat" "+")
int4
((((((((((((triple9) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
The dog sees the cat.
("dog" "sees" "cat" "+")
int4
The dog is cold.
("dog" "is" "cold" "+")
int5
The dog needs the dog.
("dog" "needs" "dog" "+")
int6
The cat is green.
("cat" "is" "green" "+")
((((((triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
((((((((triple12) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
((((((((((triple7) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
The dog sees the cat.
("dog" "sees" "cat" "+")
int5
((((((((((((((triple9) -> (rule3 % int7))) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
The dog sees the cat.
("dog" "sees" "cat" "+")
int5
The dog is cold.
("dog" "is" "cold" "+")
int6
The dog needs the dog.
("dog" "needs" "dog" "+")
int7