Charlie is cold. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is round. Erin is smart. If someone is red then they are nice. If Charlie is red then Charlie is cold. If someone is nice then they are round. All nice people are round. If Erin is cold then Erin is green. All red people are nice. If someone is green then they are smart. Nice, quiet people are round.
Erin is red.
@0: Charlie is cold.[(triple1 OR ((triple3) -> rule2))] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4 OR ((((triple3) -> rule1)) -> rule3) OR ((((triple3) -> rule1)) -> rule4) OR ((((triple3) -> rule6)) -> rule3) OR ((((triple3) -> rule6)) -> rule4) OR ((((triple3) -> rule1) triple2) -> rule8) OR ((((triple3) -> rule6) triple2) -> rule8))] Charlie is smart.[(triple5)] Erin is cold.[(triple6)] Erin is green.[(triple7 OR ((triple6) -> rule5))] Erin is nice.[(triple8 OR ((triple10) -> rule1) OR ((triple10) -> rule6))] Erin is quiet.[(triple9)] Erin is red.[(triple10)] Erin is round.[(triple11 OR ((triple8) -> rule3) OR ((triple8) -> rule4) OR ((triple8 triple9) -> rule8) OR ((((triple10) -> rule1)) -> rule3) OR ((((triple10) -> rule1)) -> rule4) OR ((((triple10) -> rule6)) -> rule3) OR ((((triple10) -> rule6)) -> rule4) OR ((((triple10) -> rule1) triple9) -> rule8) OR ((((triple10) -> rule6) triple9) -> rule8))] Erin is smart.[(triple12 OR ((triple7) -> rule7) OR ((((triple6) -> rule5)) -> rule7))] @1: Charlie is nice.[(((triple3) -> rule1) OR ((triple3) -> rule6))]