Charlie is big. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Harry is big. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is smart. Harry is white. Nice people are rough. Big, white people are quiet. If someone is smart and big then they are red. Rough, nice people are smart. If someone is big then they are rough. All big, rough people are nice. All white people are red. If someone is quiet then they are big.
Charlie is red.
@0: Charlie is big.[(triple1 OR ((triple3) -> rule8))] Charlie is nice.[(triple2 OR ((triple1 triple5) -> rule6) OR ((triple1 ((triple1) -> rule5)) -> rule6) OR ((((triple3) -> rule8) triple5) -> rule6) OR ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6) OR ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6) OR ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6))] Charlie is quiet.[(triple3 OR ((triple1 triple7) -> rule2))] Charlie is red.[(triple4 OR ((triple7) -> rule7) OR ((triple6 triple1) -> rule3) OR ((triple6 ((triple3) -> rule8)) -> rule3) OR ((((triple5 triple2) -> rule4) triple1) -> rule3) OR ((((triple5 triple2) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((triple1 triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) triple2) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) triple2) -> rule4) triple1) -> rule3) OR ((((triple5 ((triple1 triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) triple2) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((triple1 triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) triple2) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((triple1 triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((triple1 triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((triple1 triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((triple5 ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) triple2) -> rule4) triple1) -> rule3) OR ((((triple5 ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) triple2) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((triple5 ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((triple5 ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((triple5 ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3))] Charlie is rough.[(triple5 OR ((triple1) -> rule5) OR ((triple2) -> rule1) OR ((((triple3) -> rule8)) -> rule5))] Charlie is smart.[(triple6 OR ((triple5 triple2) -> rule4) OR ((triple5 ((triple1 triple5) -> rule6)) -> rule4) OR ((((triple1) -> rule5) triple2) -> rule4) OR ((((triple2) -> rule1) triple2) -> rule4) OR ((((triple1) -> rule5) ((triple1 triple5) -> rule6)) -> rule4) OR ((((triple2) -> rule1) ((triple1 triple5) -> rule6)) -> rule4) OR ((triple5 ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((triple5 ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5) triple2) -> rule4) OR ((triple5 ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((triple1) -> rule5) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((triple1) -> rule5) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) OR ((((triple2) -> rule1) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((triple2) -> rule1) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5) ((triple1 triple5) -> rule6)) -> rule4) OR ((((triple1) -> rule5) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((triple2) -> rule1) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((triple5 ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((triple5 ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((triple1) -> rule5) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((triple2) -> rule1) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((triple1) -> rule5) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((triple2) -> rule1) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4))] Charlie is white.[(triple7)] Harry is big.[(triple8 OR ((triple10) -> rule8))] Harry is nice.[(triple9 OR ((triple8 triple12) -> rule6) OR ((triple8 ((triple8) -> rule5)) -> rule6) OR ((((triple10) -> rule8) triple12) -> rule6) OR ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6) OR ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6) OR ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6))] Harry is quiet.[(triple10 OR ((triple8 triple14) -> rule2))] Harry is red.[(triple11 OR ((triple14) -> rule7) OR ((triple13 triple8) -> rule3) OR ((triple13 ((triple10) -> rule8)) -> rule3) OR ((((triple12 triple9) -> rule4) triple8) -> rule3) OR ((((triple12 triple9) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((triple12 ((triple8 triple12) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple8) -> rule5) triple9) -> rule4) triple8) -> rule3) OR ((((((triple9) -> rule1) triple9) -> rule4) triple8) -> rule3) OR ((((triple12 ((triple8 triple12) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule5) triple9) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule5) ((triple8 triple12) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple9) -> rule1) triple9) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple9) -> rule1) ((triple8 triple12) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple8) -> rule5) ((triple8 triple12) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple9) -> rule1) ((triple8 triple12) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((triple12 ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((triple12 ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) triple9) -> rule4) triple8) -> rule3) OR ((((triple12 ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((triple12 ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((triple12 ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple8) -> rule5) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple8) -> rule5) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple9) -> rule1) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple9) -> rule1) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) triple9) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((triple8 triple12) -> rule6)) -> rule4) triple8) -> rule3) OR ((((triple12 ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule5) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule5) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule5) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple9) -> rule1) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple9) -> rule1) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple9) -> rule1) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((triple8 triple12) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple8) -> rule5) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple9) -> rule1) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((triple12 ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((triple12 ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((triple12 ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple8) -> rule5) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple9) -> rule1) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((triple12 ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule5) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule5) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple9) -> rule1) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple9) -> rule1) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple8) -> rule5) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple9) -> rule1) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3))] Harry is rough.[(triple12 OR ((triple8) -> rule5) OR ((triple9) -> rule1) OR ((((triple10) -> rule8)) -> rule5))] Harry is smart.[(triple13 OR ((triple12 triple9) -> rule4) OR ((triple12 ((triple8 triple12) -> rule6)) -> rule4) OR ((((triple8) -> rule5) triple9) -> rule4) OR ((((triple9) -> rule1) triple9) -> rule4) OR ((((triple8) -> rule5) ((triple8 triple12) -> rule6)) -> rule4) OR ((((triple9) -> rule1) ((triple8 triple12) -> rule6)) -> rule4) OR ((triple12 ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((triple12 ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5) triple9) -> rule4) OR ((triple12 ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple8) -> rule5) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple8) -> rule5) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) OR ((((triple9) -> rule1) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple9) -> rule1) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5) ((triple8 triple12) -> rule6)) -> rule4) OR ((((triple8) -> rule5) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple9) -> rule1) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((triple12 ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((triple12 ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((triple8) -> rule5) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((triple9) -> rule1) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((triple8) -> rule5) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((triple9) -> rule1) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4))] Harry is white.[(triple14)]