Anne is big. Anne is quiet. Anne is young. Bob is blue. Bob is cold. Bob is furry. Bob is quiet. Bob is round. Bob is young. Charlie is furry. Charlie is quiet. Charlie is round. Fiona is big. Fiona is furry. Fiona is quiet. If Charlie is round then Charlie is cold. All big people are young. All cold, round people are furry. All round, furry people are big. If Anne is quiet and Anne is furry then Anne is cold. All round people are young.
Bob is cold.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is young.[(triple3 OR ((triple1) -> rule2))] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Bob is furry.[(triple6 OR ((triple5 triple8) -> rule3))] Bob is quiet.[(triple7)] Bob is round.[(triple8)] Bob is young.[(triple9 OR ((triple8) -> rule6) OR ((((triple8 triple6) -> rule4)) -> rule2) OR ((((triple8 ((triple5 triple8) -> rule3)) -> rule4)) -> rule2))] Charlie is furry.[(triple10 OR ((((triple12) -> rule1) triple12) -> rule3))] Charlie is quiet.[(triple11)] Charlie is round.[(triple12)] Fiona is big.[(triple13)] Fiona is furry.[(triple14)] Fiona is quiet.[(triple15)] @1: Bob is big.[(((triple8 triple6) -> rule4) OR ((triple8 ((triple5 triple8) -> rule3)) -> rule4))] Charlie is big.[(((triple12 triple10) -> rule4) OR ((triple12 ((((triple12) -> rule1) triple12) -> rule3)) -> rule4))] Charlie is cold.[(((triple12) -> rule1))] Charlie is young.[(((triple12) -> rule6) OR ((((triple12 triple10) -> rule4)) -> rule2) OR ((((triple12 ((((triple12) -> rule1) triple12) -> rule3)) -> rule4)) -> rule2))] Fiona is young.[(((triple13) -> rule2))]