Bob is not big. Bob is not furry. Bob is kind. Bob is young. Fiona is blue. Fiona is furry. Fiona is round. Fiona is not white. Harry is big. Harry is blue. Harry is round. Harry is white. If something is blue and kind then it is furry. All round things are blue. If something is blue then it is kind. If Harry is kind then Harry is young. If something is blue and not young then it is white. If something is big and not young then it is white.
Fiona is young.
@0: Bob is kind.[(triple3)] Bob is not big.[(triple1)] Bob is not furry.[(triple2)] Bob is young.[(triple4)] Fiona is blue.[(triple5 OR ((triple7) -> rule2))] Fiona is furry.[(triple6 OR ((triple5 ((triple5) -> rule3)) -> rule1) OR ((((triple7) -> rule2) ((triple5) -> rule3)) -> rule1) OR ((triple5 ((((triple7) -> rule2)) -> rule3)) -> rule1) OR ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule3)) -> rule1))] Fiona is not white.[(triple8)] Fiona is round.[(triple7)] Harry is big.[(triple9)] Harry is blue.[(triple10 OR ((triple11) -> rule2))] Harry is round.[(triple11)] Harry is white.[(triple12)] @1: Fiona is kind.[(((triple5) -> rule3) OR ((((triple7) -> rule2)) -> rule3))] Harry is kind.[(((triple10) -> rule3) OR ((((triple11) -> rule2)) -> rule3))] @2: Harry is furry.[(((triple10 ((triple10) -> rule3)) -> rule1) OR ((((triple11) -> rule2) ((triple10) -> rule3)) -> rule1) OR ((triple10 ((((triple11) -> rule2)) -> rule3)) -> rule1) OR ((((triple11) -> rule2) ((((triple11) -> rule2)) -> rule3)) -> rule1))] Harry is young.[(((((triple10) -> rule3)) -> rule4) OR ((((((triple11) -> rule2)) -> rule3)) -> rule4))]