Charlie is big. Charlie is cold. Charlie is furry. Erin is blue. Erin is green. Erin is red. Harry is furry. Red things are smart. Cold, big things are furry. If something is big and cold then it is blue. Cold, furry things are red. If Harry is furry and Harry is big then Harry is cold. All cold things are big. If something is blue and green then it is cold. All green, cold things are blue.
Erin is red.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule6))] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple2 triple1) -> rule2) OR ((triple2 ((triple2) -> rule6)) -> rule2))] Erin is blue.[(triple4)] Erin is green.[(triple5)] Erin is red.[(triple6 OR ((((triple4 triple5) -> rule7) ((((triple4 triple5) -> rule7) ((((triple4 triple5) -> rule7)) -> rule6)) -> rule2)) -> rule4))] Harry is furry.[(triple7)] @1: Charlie is blue.[(((triple1 triple2) -> rule3) OR ((((triple2) -> rule6) triple2) -> rule3))] Charlie is red.[(((triple2 triple3) -> rule4) OR ((triple2 ((triple2 triple1) -> rule2)) -> rule4) OR ((triple2 ((triple2 ((triple2) -> rule6)) -> rule2)) -> rule4))] Erin is cold.[(((triple4 triple5) -> rule7))] Erin is smart.[(((triple6) -> rule1) OR ((((((triple4 triple5) -> rule7) ((((triple4 triple5) -> rule7) ((((triple4 triple5) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule1))] @2: Charlie is smart.[(((((triple2 triple3) -> rule4)) -> rule1) OR ((((triple2 ((triple2 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((triple2 ((triple2 ((triple2) -> rule6)) -> rule2)) -> rule4)) -> rule1))] Erin is big.[(((((triple4 triple5) -> rule7)) -> rule6))] @3: Erin is furry.[(((((triple4 triple5) -> rule7) ((((triple4 triple5) -> rule7)) -> rule6)) -> rule2))]