The cat is kind. The cat is nice. The cat is red. The cat is rough. The cat is round. The cat likes the tiger. The cat needs the tiger. The cat visits the tiger. The tiger is kind. The tiger is nice. The tiger is red. The tiger is rough. The tiger is round. The tiger likes the cat. The tiger needs the cat. The tiger visits the cat. If someone visits the tiger and they are rough then the tiger visits the cat. If the cat needs the tiger and the tiger likes the cat then the cat visits the tiger. If someone visits the tiger then they like the tiger. If someone visits the tiger and the tiger is round then they are round. If someone needs the tiger and they like the tiger then they are kind. If someone likes the tiger then they like the cat. If someone is round and they need the tiger then they visit the tiger. If someone likes the cat then they need the tiger.
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If someone visits the tiger and they are rough then the tiger visits the cat.
((("someone" "visits" "tiger" "+") ("someone" "is" "rough" "+")) -> ("tiger" "visits" "cat" "+"))
If the cat needs the tiger and the tiger likes the cat then the cat visits the tiger.
((("cat" "needs" "tiger" "+") ("tiger" "likes" "cat" "+")) -> ("cat" "visits" "tiger" "+"))
If someone visits the tiger then they like the tiger.
((("someone" "visits" "tiger" "+")) -> ("someone" "likes" "tiger" "+"))
If someone visits the tiger and the tiger is round then they are round.
((("someone" "visits" "tiger" "+") ("tiger" "is" "round" "+")) -> ("someone" "is" "round" "+"))
If someone needs the tiger and they like the tiger then they are kind.
((("someone" "needs" "tiger" "+") ("someone" "likes" "tiger" "+")) -> ("someone" "is" "kind" "+"))
If someone likes the tiger then they like the cat.
((("someone" "likes" "tiger" "+")) -> ("someone" "likes" "cat" "+"))
If someone is round and they need the tiger then they visit the tiger.
((("someone" "is" "round" "+") ("someone" "needs" "tiger" "+")) -> ("someone" "visits" "tiger" "+"))
If someone likes the cat then they need the tiger.
((("someone" "likes" "cat" "+")) -> ("someone" "needs" "tiger" "+"))
The cat is kind.
True
1
proof
[(triple1 OR ((triple7 triple6) -> rule5) OR ((triple7 ((triple8) -> rule3)) -> rule5) OR ((triple7 ((((triple5 triple7) -> rule7)) -> rule3)) -> rule5) OR ((triple7 ((((triple7 triple14) -> rule2)) -> rule3)) -> rule5) OR ((((((triple6) -> rule6)) -> rule8) triple6) -> rule5) OR ((((((triple6) -> rule6)) -> rule8) ((triple8) -> rule3)) -> rule5) OR ((((((triple6) -> rule6)) -> rule8) ((((triple5 triple7) -> rule7)) -> rule3)) -> rule5) OR ((((((triple6) -> rule6)) -> rule8) ((((triple7 triple14) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple8) -> rule3)) -> rule6)) -> rule8) triple6) -> rule5) OR ((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((triple8) -> rule3)) -> rule5) OR ((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((((triple5 triple7) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((((triple7 triple14) -> rule2)) -> rule3)) -> rule5))]
("cat" "is" "kind" "+")
triple1
((triple7 triple6) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
((triple7 ((triple8) -> (rule3 % int2))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
((triple7 ((((triple5 triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
((triple7 ((((triple7 triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
((((((triple6) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
((((((triple6) -> (rule6 % int4))) -> (rule8 % int3)) ((triple8) -> (rule3 % int2))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
((((((triple6) -> (rule6 % int5))) -> (rule8 % int4)) ((((triple5 triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int4
The cat likes the cat.
("cat" "likes" "cat" "+")
int5
((((((triple6) -> (rule6 % int5))) -> (rule8 % int4)) ((((triple7 triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int4
The cat likes the cat.
("cat" "likes" "cat" "+")
int5
((((((((triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple8) -> (rule3 % int4))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int4
((((((((triple8) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple5 triple7) -> (rule7 % int2))) -> (rule3 % int5))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int5
((((((((triple8) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple7 triple14) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int5
The tiger is not red.
False
1
inv-proof
[(triple11)]
("tiger" "is" "red" "-")
triple11
The tiger needs the tiger.
True
2
proof
[(((triple14) -> rule8))]
("tiger" "needs" "tiger" "+")
((triple14) -> (rule8 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger does not need the tiger.
False
2
inv-proof
[(((triple14) -> rule8))]
("tiger" "needs" "tiger" "-")
((triple14) -> (rule8 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger visits the tiger.
True
4
proof
[(((triple13 ((triple14) -> rule8)) -> rule7))]
("tiger" "visits" "tiger" "+")
((triple13 ((triple14) -> (rule8 % int2))) -> (rule7 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger does not visit the tiger.
False
4
inv-proof
[(((triple13 ((triple14) -> rule8)) -> rule7))]
("tiger" "visits" "tiger" "-")
((triple13 ((triple14) -> (rule8 % int2))) -> (rule7 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger likes the tiger.
True
5
proof
[(((((triple13 ((triple14) -> rule8)) -> rule7)) -> rule3))]
("tiger" "likes" "tiger" "+")
((((triple13 ((triple14) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
The tiger does not like the tiger.
False
5
inv-proof
[(((((triple13 ((triple14) -> rule8)) -> rule7)) -> rule3))]
("tiger" "likes" "tiger" "-")
((((triple13 ((triple14) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat is kind.[(triple1 OR ((triple7 triple6) -> rule5) OR ((triple7 ((triple8) -> rule3)) -> rule5) OR ((triple7 ((((triple5 triple7) -> rule7)) -> rule3)) -> rule5) OR ((triple7 ((((triple7 triple14) -> rule2)) -> rule3)) -> rule5) OR ((((((triple6) -> rule6)) -> rule8) triple6) -> rule5) OR ((((((triple6) -> rule6)) -> rule8) ((triple8) -> rule3)) -> rule5) OR ((((((triple6) -> rule6)) -> rule8) ((((triple5 triple7) -> rule7)) -> rule3)) -> rule5) OR ((((((triple6) -> rule6)) -> rule8) ((((triple7 triple14) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple8) -> rule3)) -> rule6)) -> rule8) triple6) -> rule5) OR ((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((triple8) -> rule3)) -> rule5) OR ((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((((triple5 triple7) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((((triple7 triple14) -> rule2)) -> rule3)) -> rule5))] The cat is nice.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat is round.[(triple5 OR ((triple8 triple13) -> rule4) OR ((((triple7 triple14) -> rule2) triple13) -> rule4) OR ((((((((triple6) -> rule6)) -> rule8) triple14) -> rule2) triple13) -> rule4))] The cat likes the tiger.[(triple6 OR ((triple8) -> rule3) OR ((((triple5 triple7) -> rule7)) -> rule3) OR ((((triple7 triple14) -> rule2)) -> rule3))] The cat needs the tiger.[(triple7 OR ((((triple6) -> rule6)) -> rule8) OR ((((((triple8) -> rule3)) -> rule6)) -> rule8))] The cat visits the tiger.[(triple8 OR ((triple5 triple7) -> rule7) OR ((triple7 triple14) -> rule2) OR ((triple5 ((((triple6) -> rule6)) -> rule8)) -> rule7) OR ((((((triple6) -> rule6)) -> rule8) triple14) -> rule2))] The tiger is kind.[(triple9 OR ((((triple14) -> rule8) ((((triple13 ((triple14) -> rule8)) -> rule7)) -> rule3)) -> rule5))] The tiger is nice.[(triple10)] The tiger is red.[(triple11)] The tiger is rough.[(triple12)] The tiger is round.[(triple13)] The tiger likes the cat.[(triple14)] The tiger needs the cat.[(triple15)] The tiger visits the cat.[(triple16 OR ((triple8 triple4) -> rule1) OR ((((triple5 triple7) -> rule7) triple4) -> rule1) OR ((((triple7 triple14) -> rule2) triple4) -> rule1) OR ((((triple13 ((triple14) -> rule8)) -> rule7) triple12) -> rule1) OR ((((triple5 ((((triple6) -> rule6)) -> rule8)) -> rule7) triple4) -> rule1) OR ((((((((triple6) -> rule6)) -> rule8) triple14) -> rule2) triple4) -> rule1))] @1: The cat likes the cat.[(((triple6) -> rule6) OR ((((triple8) -> rule3)) -> rule6) OR ((((((triple5 triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((triple7 triple14) -> rule2)) -> rule3)) -> rule6))] The tiger needs the tiger.[(((triple14) -> rule8))] @2: The tiger visits the tiger.[(((triple13 ((triple14) -> rule8)) -> rule7))] @3: The tiger likes the tiger.[(((((triple13 ((triple14) -> rule8)) -> rule7)) -> rule3))]
The cat is kind.
("cat" "is" "kind" "+")
triple1
((triple7 triple6) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
((triple7 ((triple8) -> (rule3 % int2))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
((triple7 ((((triple5 triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
((triple7 ((((triple7 triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
((((((triple6) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
((((((triple6) -> (rule6 % int4))) -> (rule8 % int3)) ((triple8) -> (rule3 % int2))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
((((((triple6) -> (rule6 % int5))) -> (rule8 % int4)) ((((triple5 triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int4
The cat likes the cat.
("cat" "likes" "cat" "+")
int5
((((((triple6) -> (rule6 % int5))) -> (rule8 % int4)) ((((triple7 triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int4
The cat likes the cat.
("cat" "likes" "cat" "+")
int5
((((((((triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple8) -> (rule3 % int4))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int4
((((((((triple8) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple5 triple7) -> (rule7 % int2))) -> (rule3 % int5))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int5
((((((((triple8) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple7 triple14) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule5 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int5
The cat is nice.
("cat" "is" "nice" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
((triple8 triple13) -> (rule4 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
((((triple7 triple14) -> (rule2 % int2)) triple13) -> (rule4 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
((((((((triple6) -> (rule6 % int4))) -> (rule8 % int3)) triple14) -> (rule2 % int2)) triple13) -> (rule4 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple6
((triple8) -> (rule3 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
((((triple5 triple7) -> (rule7 % int2))) -> (rule3 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
((((triple7 triple14) -> (rule2 % int2))) -> (rule3 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple7
((((triple6) -> (rule6 % int2))) -> (rule8 % int1))
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
((((((triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int3
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple8
((triple5 triple7) -> (rule7 % int1))
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int1
((triple7 triple14) -> (rule2 % int1))
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int1
((triple5 ((((triple6) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
((((((triple6) -> (rule6 % int3))) -> (rule8 % int2)) triple14) -> (rule2 % int1))
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
triple9
((((triple14) -> (rule8 % int4)) ((((triple13 ((triple14) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int3
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int4
The tiger is nice.
("tiger" "is" "nice" "+")
triple10
The tiger is red.
("tiger" "is" "red" "+")
triple11
The tiger is rough.
("tiger" "is" "rough" "+")
triple12
The tiger is round.
("tiger" "is" "round" "+")
triple13
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple14
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple15
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple16
((triple8 triple4) -> (rule1 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
((((triple5 triple7) -> (rule7 % int2)) triple4) -> (rule1 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
((((triple7 triple14) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
((((triple13 ((triple14) -> (rule8 % int3))) -> (rule7 % int2)) triple12) -> (rule1 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
((((triple5 ((((triple6) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple4) -> (rule1 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
((((((((triple6) -> (rule6 % int4))) -> (rule8 % int3)) triple14) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple6) -> (rule6 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
((((triple8) -> (rule3 % int2))) -> (rule6 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
((((((triple5 triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
((((((triple7 triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((triple14) -> (rule8 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((triple13 ((triple14) -> (rule8 % int2))) -> (rule7 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((((triple13 ((triple14) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3