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