Bob is blue. Bob is round. Bob is smart. Charlie is blue. Charlie is quiet. Charlie is red. Erin is cold. If Bob is blue then Bob is quiet. All cold people are smart. If someone is smart and nice then they are quiet. If Erin is red and Erin is cold then Erin is quiet. If someone is red and smart then they are blue. If someone is quiet then they are smart. Blue people are round. Round, smart people are quiet.
Erin is nice.
@0: Bob is blue.[(triple1)] Bob is round.[(triple2 OR ((triple1) -> rule7))] Bob is smart.[(triple3 OR ((((triple1) -> rule1)) -> rule6))] Charlie is blue.[(triple4 OR ((triple6 ((triple5) -> rule6)) -> rule5))] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Erin is cold.[(triple7)] @1: Bob is quiet.[(((triple1) -> rule1) OR ((triple2 triple3) -> rule8) OR ((((triple1) -> rule7) triple3) -> rule8))] Charlie is round.[(((triple4) -> rule7) OR ((((triple6 ((triple5) -> rule6)) -> rule5)) -> rule7))] Charlie is smart.[(((triple5) -> rule6))] Erin is smart.[(((triple7) -> rule2))]