Charlie is smart. Erin is green. Erin is round. Erin is not smart. Erin is white. Erin is young. Fiona is green. Fiona is kind. Fiona is nice. Fiona is round. Fiona is smart. Fiona is white. Harry is nice. Harry is smart. Harry is white. All round, smart things are young. If something is smart and not kind then it is white. If Erin is kind and Erin is young then Erin is smart. White things are green. If something is kind and not white then it is not green. Smart things are green. All green, young things are nice. If something is white and not young then it is nice.
Charlie is young.
@0: Charlie is smart.[(triple1)] Erin is green.[(triple2 OR ((triple5) -> rule4))] Erin is not smart.[(triple4)] Erin is round.[(triple3)] Erin is white.[(triple5)] Erin is young.[(triple6)] Fiona is green.[(triple7 OR ((triple11) -> rule6) OR ((triple12) -> rule4))] Fiona is kind.[(triple8)] Fiona is nice.[(triple9 OR ((triple7 ((triple10 triple11) -> rule1)) -> rule7) OR ((((triple11) -> rule6) ((triple10 triple11) -> rule1)) -> rule7) OR ((((triple12) -> rule4) ((triple10 triple11) -> rule1)) -> rule7))] Fiona is round.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12)] Harry is nice.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Charlie is green.[(((triple1) -> rule6))] Erin is nice.[(((triple2 triple6) -> rule7) OR ((((triple5) -> rule4) triple6) -> rule7))] Fiona is young.[(((triple10 triple11) -> rule1))] Harry is green.[(((triple14) -> rule6) OR ((triple15) -> rule4))]