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