Charlie is big. Charlie is quiet. Charlie is round. Charlie is white. Charlie is young. Dave is round. Dave is young. Gary is green. Gary is quiet. Gary is round. Harry is green. Harry is nice. Harry is quiet. Harry is white. Harry is young. Round, quiet things are white. If Harry is white and Harry is nice then Harry is big. All young things are nice. All young, green things are round. If something is white and nice then it is young. If something is round then it is nice. If Harry is white and Harry is quiet then Harry is young. If something is young then it is green.
Dave is round.
@0: Charlie is big.[(triple1)] Charlie is quiet.[(triple2)] Charlie is round.[(triple3 OR ((triple5 ((triple5) -> rule8)) -> rule4))] Charlie is white.[(triple4 OR ((triple3 triple2) -> rule1) OR ((((triple5 ((triple5) -> rule8)) -> rule4) triple2) -> rule1))] Charlie is young.[(triple5 OR ((triple4 ((triple3) -> rule6)) -> rule5) OR ((((triple3 triple2) -> rule1) ((triple3) -> rule6)) -> rule5))] Dave is round.[(triple6 OR ((triple7 ((triple7) -> rule8)) -> rule4))] Dave is young.[(triple7)] Gary is green.[(triple8 OR ((((((triple10 triple9) -> rule1) ((triple10) -> rule6)) -> rule5)) -> rule8))] Gary is quiet.[(triple9)] Gary is round.[(triple10)] Harry is green.[(triple11 OR ((triple15) -> rule8) OR ((((triple14 triple12) -> rule5)) -> rule8) OR ((((triple14 triple13) -> rule7)) -> rule8))] Harry is nice.[(triple12 OR ((triple15) -> rule3) OR ((((triple14 triple13) -> rule7)) -> rule3) OR ((((triple15 triple11) -> rule4)) -> rule6) OR ((((triple15 ((triple15) -> rule8)) -> rule4)) -> rule6) OR ((((((triple14 triple13) -> rule7) triple11) -> rule4)) -> rule6) OR ((((((triple14 triple13) -> rule7) ((triple15) -> rule8)) -> rule4)) -> rule6) OR ((((triple15 ((((triple14 triple13) -> rule7)) -> rule8)) -> rule4)) -> rule6) OR ((((((triple14 triple13) -> rule7) ((((triple14 triple13) -> rule7)) -> rule8)) -> rule4)) -> rule6))] Harry is quiet.[(triple13)] Harry is white.[(triple14 OR ((((triple15 triple11) -> rule4) triple13) -> rule1) OR ((((triple15 ((triple15) -> rule8)) -> rule4) triple13) -> rule1))] Harry is young.[(triple15 OR ((triple14 triple12) -> rule5) OR ((triple14 triple13) -> rule7))] @1: Charlie is green.[(((triple5) -> rule8) OR ((((triple4 ((triple3) -> rule6)) -> rule5)) -> rule8) OR ((((((triple3 triple2) -> rule1) ((triple3) -> rule6)) -> rule5)) -> rule8))] Charlie is nice.[(((triple3) -> rule6) OR ((triple5) -> rule3) OR ((((triple5 ((triple5) -> rule8)) -> rule4)) -> rule6))] Dave is green.[(((triple7) -> rule8))] Dave is nice.[(((triple6) -> rule6) OR ((triple7) -> rule3) OR ((((triple7 ((triple7) -> rule8)) -> rule4)) -> rule6))] Gary is nice.[(((triple10) -> rule6))] Gary is white.[(((triple10 triple9) -> rule1))] Harry is big.[(((triple14 triple12) -> rule2) OR ((triple14 ((triple15) -> rule3)) -> rule2) OR ((triple14 ((((triple14 triple13) -> rule7)) -> rule3)) -> rule2) OR ((triple14 ((((triple15 triple11) -> rule4)) -> rule6)) -> rule2) OR ((((((triple15 triple11) -> rule4) triple13) -> rule1) triple12) -> rule2) OR ((((((triple15 triple11) -> rule4) triple13) -> rule1) ((triple15) -> rule3)) -> rule2) OR ((((((triple15 triple11) -> rule4) triple13) -> rule1) ((((triple14 triple13) -> rule7)) -> rule3)) -> rule2) OR ((((((triple15 triple11) -> rule4) triple13) -> rule1) ((((triple15 triple11) -> rule4)) -> rule6)) -> rule2) OR ((triple14 ((((triple15 ((triple15) -> rule8)) -> rule4)) -> rule6)) -> rule2) OR ((triple14 ((((((triple14 triple13) -> rule7) triple11) -> rule4)) -> rule6)) -> rule2) OR ((((((triple15 ((triple15) -> rule8)) -> rule4) triple13) -> rule1) triple12) -> rule2) OR ((triple14 ((((((triple14 triple13) -> rule7) ((triple15) -> rule8)) -> rule4)) -> rule6)) -> rule2) OR ((((((triple15 ((triple15) -> rule8)) -> rule4) triple13) -> rule1) ((triple15) -> rule3)) -> rule2) OR ((((((triple15 triple11) -> rule4) triple13) -> rule1) ((((triple15 ((triple15) -> rule8)) -> rule4)) -> rule6)) -> rule2) OR ((((((triple15 triple11) -> rule4) triple13) -> rule1) ((((((triple14 triple13) -> rule7) triple11) -> rule4)) -> rule6)) -> rule2) OR ((((((triple15 ((triple15) -> rule8)) -> rule4) triple13) -> rule1) ((((triple14 triple13) -> rule7)) -> rule3)) -> rule2) OR ((((((triple15 ((triple15) -> rule8)) -> rule4) triple13) -> rule1) ((((triple15 triple11) -> rule4)) -> rule6)) -> rule2) OR ((((((triple15 triple11) -> rule4) triple13) -> rule1) ((((((triple14 triple13) -> rule7) ((triple15) -> rule8)) -> rule4)) -> rule6)) -> rule2) OR ((((((triple15 ((triple15) -> rule8)) -> rule4) triple13) -> rule1) ((((triple15 ((triple15) -> rule8)) -> rule4)) -> rule6)) -> rule2) OR ((((((triple15 ((triple15) -> rule8)) -> rule4) triple13) -> rule1) ((((((triple14 triple13) -> rule7) triple11) -> rule4)) -> rule6)) -> rule2) OR ((((((triple15 ((triple15) -> rule8)) -> rule4) triple13) -> rule1) ((((((triple14 triple13) -> rule7) ((triple15) -> rule8)) -> rule4)) -> rule6)) -> rule2) OR ((triple14 ((((triple15 ((((triple14 triple13) -> rule7)) -> rule8)) -> rule4)) -> rule6)) -> rule2) OR ((triple14 ((((((triple14 triple13) -> rule7) ((((triple14 triple13) -> rule7)) -> rule8)) -> rule4)) -> rule6)) -> rule2) OR ((((((triple15 triple11) -> rule4) triple13) -> rule1) ((((triple15 ((((triple14 triple13) -> rule7)) -> rule8)) -> rule4)) -> rule6)) -> rule2) OR ((((((triple15 triple11) -> rule4) triple13) -> rule1) ((((((triple14 triple13) -> rule7) ((((triple14 triple13) -> rule7)) -> rule8)) -> rule4)) -> rule6)) -> rule2) OR ((((((triple15 ((triple15) -> rule8)) -> rule4) triple13) -> rule1) ((((triple15 ((((triple14 triple13) -> rule7)) -> rule8)) -> rule4)) -> rule6)) -> rule2) OR ((((((triple15 ((triple15) -> rule8)) -> rule4) triple13) -> rule1) ((((((triple14 triple13) -> rule7) ((((triple14 triple13) -> rule7)) -> rule8)) -> rule4)) -> rule6)) -> rule2))] Harry is round.[(((triple15 triple11) -> rule4) OR ((triple15 ((triple15) -> rule8)) -> rule4) OR ((((triple14 triple12) -> rule5) triple11) -> rule4) OR ((((triple14 triple13) -> rule7) triple11) -> rule4) OR ((((triple14 triple12) -> rule5) ((triple15) -> rule8)) -> rule4) OR ((((triple14 triple13) -> rule7) ((triple15) -> rule8)) -> rule4) OR ((triple15 ((((triple14 triple12) -> rule5)) -> rule8)) -> rule4) OR ((triple15 ((((triple14 triple13) -> rule7)) -> rule8)) -> rule4) OR ((((triple14 triple12) -> rule5) ((((triple14 triple12) -> rule5)) -> rule8)) -> rule4) OR ((((triple14 triple12) -> rule5) ((((triple14 triple13) -> rule7)) -> rule8)) -> rule4) OR ((((triple14 triple13) -> rule7) ((((triple14 triple12) -> rule5)) -> rule8)) -> rule4) OR ((((triple14 triple13) -> rule7) ((((triple14 triple13) -> rule7)) -> rule8)) -> rule4))] @2: Gary is young.[(((((triple10 triple9) -> rule1) ((triple10) -> rule6)) -> rule5))]