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