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