Anne is cold. Anne is furry. Anne is nice. Anne is red. Anne is white. Charlie is white. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is red. Harry is big. Harry is furry. Harry is red. Harry is white. If Anne is big and Anne is round then Anne is furry. If something is furry then it is cold. All nice things are round. If Charlie is round then Charlie is big. If something is big and red then it is furry. If Charlie is white then Charlie is nice. If something is big and red then it is furry. All big things are furry. If something is round then it is nice.
Harry is nice.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule2))] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is white.[(triple5)] Charlie is white.[(triple6)] Fiona is cold.[(triple7 OR ((triple8) -> rule2))] Fiona is furry.[(triple8)] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] Harry is big.[(triple11)] Harry is furry.[(triple12 OR ((triple11) -> rule8) OR ((triple11 triple13) -> rule5) OR ((triple11 triple13) -> rule7))] Harry is red.[(triple13)] Harry is white.[(triple14)] @1: Anne is round.[(((triple3) -> rule3))] Charlie is nice.[(((triple6) -> rule6))] Fiona is round.[(((triple9) -> rule3))] Harry is cold.[(((triple12) -> rule2) OR ((((triple11) -> rule8)) -> rule2) OR ((((triple11 triple13) -> rule5)) -> rule2) OR ((((triple11 triple13) -> rule7)) -> rule2))] @2: Charlie is round.[(((((triple6) -> rule6)) -> rule3))] @3: Charlie is big.[(((((((triple6) -> rule6)) -> rule3)) -> rule4))] @4: Charlie is furry.[(((((((((triple6) -> rule6)) -> rule3)) -> rule4)) -> rule8))] @5: Charlie is cold.[(((((((((((triple6) -> rule6)) -> rule3)) -> rule4)) -> rule8)) -> rule2))]