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