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