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