Erin is blue. Erin is cold. Erin is smart. Fiona is round. Gary is cold. Gary is green. Gary is quiet. Gary is round. Gary is smart. Harry is smart. Nice, green people are round. Green people are nice. If someone is blue then they are green. If someone is blue then they are smart. Nice, round people are blue. Smart people are green. If Harry is blue and Harry is smart then Harry is quiet.
Harry is cold.
@0: Erin is blue.[(triple1 OR ((((((triple3) -> rule6)) -> rule2) ((((((triple3) -> rule6)) -> rule2) ((triple3) -> rule6)) -> rule1)) -> rule5))] Erin is cold.[(triple2)] Erin is smart.[(triple3 OR ((triple1) -> rule4))] Fiona is round.[(triple4)] Gary is cold.[(triple5)] Gary is green.[(triple6 OR ((triple9) -> rule6))] Gary is quiet.[(triple7)] Gary is round.[(triple8 OR ((((triple6) -> rule2) triple6) -> rule1) OR ((((triple6) -> rule2) ((triple9) -> rule6)) -> rule1) OR ((((((triple9) -> rule6)) -> rule2) triple6) -> rule1) OR ((((((triple9) -> rule6)) -> rule2) ((triple9) -> rule6)) -> rule1))] Gary is smart.[(triple9 OR ((((((triple6) -> rule2) triple8) -> rule5)) -> rule4) OR ((((((triple6) -> rule2) ((((triple6) -> rule2) triple6) -> rule1)) -> rule5)) -> rule4))] Harry is smart.[(triple10)] @1: Erin is green.[(((triple1) -> rule3) OR ((triple3) -> rule6) OR ((((triple1) -> rule4)) -> rule6))] Gary is nice.[(((triple6) -> rule2) OR ((((triple9) -> rule6)) -> rule2))] Harry is green.[(((triple10) -> rule6))] @2: Erin is nice.[(((((triple1) -> rule3)) -> rule2) OR ((((triple3) -> rule6)) -> rule2) OR ((((((triple1) -> rule4)) -> rule6)) -> rule2))] Gary is blue.[(((((triple6) -> rule2) triple8) -> rule5) OR ((((((triple9) -> rule6)) -> rule2) triple8) -> rule5) OR ((((triple6) -> rule2) ((((triple6) -> rule2) triple6) -> rule1)) -> rule5) OR ((((triple6) -> rule2) ((((triple6) -> rule2) ((triple9) -> rule6)) -> rule1)) -> rule5) OR ((((((triple9) -> rule6)) -> rule2) ((((triple6) -> rule2) triple6) -> rule1)) -> rule5) OR ((((((triple9) -> rule6)) -> rule2) ((((triple6) -> rule2) ((triple9) -> rule6)) -> rule1)) -> rule5) OR ((((triple6) -> rule2) ((((((triple9) -> rule6)) -> rule2) triple6) -> rule1)) -> rule5) OR ((((triple6) -> rule2) ((((((triple9) -> rule6)) -> rule2) ((triple9) -> rule6)) -> rule1)) -> rule5) OR ((((((triple9) -> rule6)) -> rule2) ((((((triple9) -> rule6)) -> rule2) triple6) -> rule1)) -> rule5) OR ((((((triple9) -> rule6)) -> rule2) ((((((triple9) -> rule6)) -> rule2) ((triple9) -> rule6)) -> rule1)) -> rule5))] Harry is nice.[(((((triple10) -> rule6)) -> rule2))] @3: Erin is round.[(((((((triple1) -> rule3)) -> rule2) ((triple1) -> rule3)) -> rule1) OR ((((((triple1) -> rule3)) -> rule2) ((triple3) -> rule6)) -> rule1) OR ((((((triple3) -> rule6)) -> rule2) ((triple1) -> rule3)) -> rule1) OR ((((((triple3) -> rule6)) -> rule2) ((triple3) -> rule6)) -> rule1) OR ((((((triple1) -> rule3)) -> rule2) ((((triple1) -> rule4)) -> rule6)) -> rule1) OR ((((((triple3) -> rule6)) -> rule2) ((((triple1) -> rule4)) -> rule6)) -> rule1) OR ((((((((triple1) -> rule4)) -> rule6)) -> rule2) ((triple1) -> rule3)) -> rule1) OR ((((((((triple1) -> rule4)) -> rule6)) -> rule2) ((triple3) -> rule6)) -> rule1) OR ((((((((triple1) -> rule4)) -> rule6)) -> rule2) ((((triple1) -> rule4)) -> rule6)) -> rule1))] Harry is round.[(((((((triple10) -> rule6)) -> rule2) ((triple10) -> rule6)) -> rule1))] @4: Harry is blue.[(((((((triple10) -> rule6)) -> rule2) ((((((triple10) -> rule6)) -> rule2) ((triple10) -> rule6)) -> rule1)) -> rule5))] @5: Harry is quiet.[(((((((((triple10) -> rule6)) -> rule2) ((((((triple10) -> rule6)) -> rule2) ((triple10) -> rule6)) -> rule1)) -> rule5) triple10) -> rule7))]