Charlie is blue. Charlie is green. Charlie is quiet. Charlie is round. Erin is green. Erin is nice. Erin is quiet. Erin is round. Gary is green. Gary is not quiet. Harry is furry. Harry is quiet. If something is round then it is blue. If something is nice and not cold then it is furry. If something is round then it is furry. If something is blue then it is green. All green things are round. If something is round and blue then it is nice.
Charlie is not nice.
@0: Charlie is blue.[(triple1 OR ((triple4) -> rule1) OR ((((triple2) -> rule5)) -> rule1))] Charlie is green.[(triple2 OR ((triple1) -> rule4) OR ((((triple4) -> rule1)) -> rule4))] Charlie is quiet.[(triple3)] Charlie is round.[(triple4 OR ((triple2) -> rule5) OR ((((triple1) -> rule4)) -> rule5))] Erin is green.[(triple5 OR ((((triple8) -> rule1)) -> rule4))] Erin is nice.[(triple6 OR ((triple8 ((triple8) -> rule1)) -> rule6) OR ((((triple5) -> rule5) ((triple8) -> rule1)) -> rule6) OR ((triple8 ((((triple5) -> rule5)) -> rule1)) -> rule6) OR ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule1)) -> rule6))] Erin is quiet.[(triple7)] Erin is round.[(triple8 OR ((triple5) -> rule5))] Gary is green.[(triple9)] Gary is not quiet.[(triple10)] Harry is furry.[(triple11)] Harry is quiet.[(triple12)] @1: Charlie is furry.[(((triple4) -> rule3) OR ((((triple2) -> rule5)) -> rule3) OR ((((((triple1) -> rule4)) -> rule5)) -> rule3))] Charlie is nice.[(((triple4 triple1) -> rule6) OR ((triple4 ((triple4) -> rule1)) -> rule6) OR ((((triple2) -> rule5) triple1) -> rule6) OR ((((triple2) -> rule5) ((triple4) -> rule1)) -> rule6) OR ((triple4 ((((triple2) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1) -> rule4)) -> rule5) triple1) -> rule6) OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1) -> rule4)) -> rule5) ((triple4) -> rule1)) -> rule6) OR ((((((triple1) -> rule4)) -> rule5) ((((triple2) -> rule5)) -> rule1)) -> rule6))] Erin is blue.[(((triple8) -> rule1) OR ((((triple5) -> rule5)) -> rule1))] Erin is furry.[(((triple8) -> rule3) OR ((((triple5) -> rule5)) -> rule3))] Gary is round.[(((triple9) -> rule5))] @2: Gary is blue.[(((((triple9) -> rule5)) -> rule1))] Gary is furry.[(((((triple9) -> rule5)) -> rule3))] @3: Gary is nice.[(((((triple9) -> rule5) ((((triple9) -> rule5)) -> rule1)) -> rule6))]