Anne is big. Anne is furry. Anne is red. Anne is young. Bob is big. Bob is blue. Bob is furry. Bob is red. Bob is round. Bob is young. Charlie is blue. Charlie is red. Charlie is round. Charlie is smart. Fiona is blue. Fiona is smart. Furry things are smart. Smart, round things are red. If Fiona is blue then Fiona is big. Big, smart things are young. All smart, blue things are young. If something is round then it is red.
Charlie is big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3)] Anne is young.[(triple4 OR ((triple1 ((triple2) -> rule1)) -> rule4))] Bob is big.[(triple5)] Bob is blue.[(triple6)] Bob is furry.[(triple7)] Bob is red.[(triple8 OR ((triple9) -> rule6) OR ((((triple7) -> rule1) triple9) -> rule2))] Bob is round.[(triple9)] Bob is young.[(triple10 OR ((triple5 ((triple7) -> rule1)) -> rule4) OR ((((triple7) -> rule1) triple6) -> rule5))] Charlie is blue.[(triple11)] Charlie is red.[(triple12 OR ((triple13) -> rule6) OR ((triple14 triple13) -> rule2))] Charlie is round.[(triple13)] Charlie is smart.[(triple14)] Fiona is blue.[(triple15)] Fiona is smart.[(triple16)] @1: Anne is smart.[(((triple2) -> rule1))] Bob is smart.[(((triple7) -> rule1))] Charlie is young.[(((triple14 triple11) -> rule5))] Fiona is big.[(((triple15) -> rule3))] Fiona is young.[(((triple16 triple15) -> rule5) OR ((((triple15) -> rule3) triple16) -> rule4))]