Anne is kind. Anne is round. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is not smart. Fiona is not kind. Fiona is smart. Gary is cold. Gary is green. Gary is round. Gary is white. If Fiona is blue then Fiona is green. If Fiona is smart then Fiona is cold. White things are round. All green, white things are round. Green things are round. Round, smart things are white. All cold things are blue. If Charlie is cold and Charlie is green then Charlie is kind.
Fiona is green.
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Charlie is blue.[(triple3 OR ((triple4) -> rule7))] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is not smart.[(triple6)] Fiona is not kind.[(triple7)] Fiona is smart.[(triple8)] Gary is cold.[(triple9)] Gary is green.[(triple10)] Gary is round.[(triple11 OR ((triple10) -> rule5) OR ((triple12) -> rule3) OR ((triple10 triple12) -> rule4))] Gary is white.[(triple12)] @1: Fiona is cold.[(((triple8) -> rule2))] Gary is blue.[(((triple9) -> rule7))] @2: Fiona is blue.[(((((triple8) -> rule2)) -> rule7))] @3: Fiona is green.[(((((((triple8) -> rule2)) -> rule7)) -> rule1))] @4: Fiona is round.[(((((((((triple8) -> rule2)) -> rule7)) -> rule1)) -> rule5))] @5: Fiona is white.[(((((((((((triple8) -> rule2)) -> rule7)) -> rule1)) -> rule5) triple8) -> rule6))]