Charlie is quiet. Charlie is round. Charlie is smart. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Harry is cold. Harry is nice. Harry is quiet. Harry is red. Harry is round. Harry is smart. Harry is young. If Fiona is smart then Fiona is round. All smart, cold people are red. Round, smart people are red. If Fiona is red then Fiona is young. If someone is cold then they are young. All cold people are young. If someone is red then they are cold. All cold, nice people are round.
Fiona is not cold.
@0: Charlie is quiet.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Fiona is cold.[(triple4 OR ((triple6) -> rule7) OR ((((triple7 triple8) -> rule3)) -> rule7) OR ((((((triple8) -> rule1) triple8) -> rule3)) -> rule7))] Fiona is quiet.[(triple5)] Fiona is red.[(triple6 OR ((triple7 triple8) -> rule3) OR ((triple8 triple4) -> rule2) OR ((((triple8) -> rule1) triple8) -> rule3))] Fiona is round.[(triple7 OR ((triple8) -> rule1))] Fiona is smart.[(triple8)] Harry is cold.[(triple9 OR ((triple12) -> rule7) OR ((((triple13 triple14) -> rule3)) -> rule7))] Harry is nice.[(triple10)] Harry is quiet.[(triple11)] Harry is red.[(triple12 OR ((triple13 triple14) -> rule3) OR ((triple14 triple9) -> rule2) OR ((((triple9 triple10) -> rule8) triple14) -> rule3))] Harry is round.[(triple13 OR ((triple9 triple10) -> rule8) OR ((((triple12) -> rule7) triple10) -> rule8))] Harry is smart.[(triple14)] Harry is young.[(triple15 OR ((triple9) -> rule5) OR ((triple9) -> rule6) OR ((((triple12) -> rule7)) -> rule5) OR ((((triple12) -> rule7)) -> rule6) OR ((((((triple13 triple14) -> rule3)) -> rule7)) -> rule5) OR ((((((triple13 triple14) -> rule3)) -> rule7)) -> rule6))] @1: Charlie is red.[(((triple2 triple3) -> rule3))] Fiona is young.[(((triple4) -> rule5) OR ((triple4) -> rule6) OR ((triple6) -> rule4) OR ((((triple6) -> rule7)) -> rule5) OR ((((triple6) -> rule7)) -> rule6) OR ((((triple7 triple8) -> rule3)) -> rule4) OR ((((triple8 triple4) -> rule2)) -> rule4) OR ((((((triple7 triple8) -> rule3)) -> rule7)) -> rule5) OR ((((((triple7 triple8) -> rule3)) -> rule7)) -> rule6) OR ((((((triple8) -> rule1) triple8) -> rule3)) -> rule4) OR ((((((((triple8) -> rule1) triple8) -> rule3)) -> rule7)) -> rule5) OR ((((((((triple8) -> rule1) triple8) -> rule3)) -> rule7)) -> rule6))] @2: Charlie is cold.[(((((triple2 triple3) -> rule3)) -> rule7))] @3: Charlie is young.[(((((((triple2 triple3) -> rule3)) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule3)) -> rule7)) -> rule6))]