Anne is young. Charlie is big. Charlie is not furry. Charlie is rough. Charlie is round. Charlie is young. Fiona is big. Fiona is nice. Fiona is round. Harry is furry. Harry is nice. Harry is not round. If something is young and round then it is nice. If something is young and not rough then it is nice. If something is young and not furry then it is nice. Red things are nice. Furry things are not round. If Fiona is furry then Fiona is young. Round, nice things are big. If something is big then it is young.
Harry is not big.
@0: Anne is young.[(triple1)] Charlie is big.[(triple2 OR ((triple5 ((triple6 triple3) -> rule3)) -> rule7) OR ((triple5 ((triple6 triple5) -> rule1)) -> rule7))] Charlie is not furry.[(triple3)] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Charlie is young.[(triple6 OR ((triple2) -> rule8))] Fiona is big.[(triple7 OR ((triple9 triple8) -> rule7))] Fiona is nice.[(triple8 OR ((((triple7) -> rule8) triple9) -> rule1))] Fiona is round.[(triple9)] Harry is furry.[(triple10)] Harry is nice.[(triple11)] Harry is not round.[(triple12 OR ((triple10) -> rule5))] @1: Charlie is nice.[(((triple6 triple3) -> rule3) OR ((triple6 triple5) -> rule1) OR ((((triple2) -> rule8) triple3) -> rule3) OR ((((triple2) -> rule8) triple5) -> rule1))] Fiona is young.[(((triple7) -> rule8) OR ((((triple9 triple8) -> rule7)) -> rule8))]