Charlie is cold. Charlie is round. Erin is big. Erin is kind. Erin is nice. Erin is round. Gary is not big. Gary is not cold. Harry is blue. Harry is kind. Harry is nice. If someone is blue then they are round. All smart people are round. All nice people are round. If Harry is cold then Harry is not kind. If someone is smart then they are kind. If someone is cold and round then they are smart. If someone is kind and blue then they are big. All kind people are blue. If someone is big then they are nice.
Erin is smart.
@0: Charlie is cold.[(triple1)] Charlie is round.[(triple2)] Erin is big.[(triple3 OR ((triple4 ((triple4) -> rule8)) -> rule7))] Erin is kind.[(triple4)] Erin is nice.[(triple5 OR ((triple3) -> rule9) OR ((((triple4 ((triple4) -> rule8)) -> rule7)) -> rule9))] Erin is round.[(triple6 OR ((triple5) -> rule3) OR ((((triple3) -> rule9)) -> rule3) OR ((((triple4) -> rule8)) -> rule1) OR ((((((triple4 ((triple4) -> rule8)) -> rule7)) -> rule9)) -> rule3))] Gary is not big.[(triple7)] Gary is not cold.[(triple8)] Harry is blue.[(triple9 OR ((triple10) -> rule8))] Harry is kind.[(triple10)] Harry is nice.[(triple11 OR ((((triple10 triple9) -> rule7)) -> rule9) OR ((((triple10 ((triple10) -> rule8)) -> rule7)) -> rule9))] @1: Charlie is smart.[(((triple1 triple2) -> rule6))] Erin is blue.[(((triple4) -> rule8))] Harry is big.[(((triple10 triple9) -> rule7) OR ((triple10 ((triple10) -> rule8)) -> rule7))] Harry is round.[(((triple11) -> rule3) OR ((triple9) -> rule1) OR ((((triple10) -> rule8)) -> rule1) OR ((((((triple10 triple9) -> rule7)) -> rule9)) -> rule3) OR ((((((triple10 ((triple10) -> rule8)) -> rule7)) -> rule9)) -> rule3))] @2: Charlie is kind.[(((((triple1 triple2) -> rule6)) -> rule5))] @3: Charlie is blue.[(((((((triple1 triple2) -> rule6)) -> rule5)) -> rule8))] @4: Charlie is big.[(((((((triple1 triple2) -> rule6)) -> rule5) ((((((triple1 triple2) -> rule6)) -> rule5)) -> rule8)) -> rule7))] @5: Charlie is nice.[(((((((((triple1 triple2) -> rule6)) -> rule5) ((((((triple1 triple2) -> rule6)) -> rule5)) -> rule8)) -> rule7)) -> rule9))]