Bob is red. Bob is rough. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is white. Fiona is blue. Fiona is quiet. Fiona is rough. Harry is rough. If someone is blue and furry then they are rough. If Harry is blue and Harry is furry then Harry is red. If someone is blue and white then they are kind. If someone is kind then they are furry. All rough people are kind. All furry, kind people are red.
Charlie is blue.
@0: Bob is red.[(triple1 OR ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule6))] Bob is rough.[(triple2)] Charlie is kind.[(triple3 OR ((triple5) -> rule5))] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is white.[(triple6)] Fiona is blue.[(triple7)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9)] Harry is rough.[(triple10)] @1: Bob is kind.[(((triple2) -> rule5))] Charlie is furry.[(((triple3) -> rule4) OR ((((triple5) -> rule5)) -> rule4))] Fiona is kind.[(((triple9) -> rule5))] Harry is kind.[(((triple10) -> rule5))] @2: Bob is furry.[(((((triple2) -> rule5)) -> rule4))] Charlie is red.[(((((triple3) -> rule4) triple3) -> rule6) OR ((((triple3) -> rule4) ((triple5) -> rule5)) -> rule6) OR ((((((triple5) -> rule5)) -> rule4) triple3) -> rule6) OR ((((((triple5) -> rule5)) -> rule4) ((triple5) -> rule5)) -> rule6))] Fiona is furry.[(((((triple9) -> rule5)) -> rule4))] Harry is furry.[(((((triple10) -> rule5)) -> rule4))] @3: Fiona is red.[(((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule6))] Harry is red.[(((((((triple10) -> rule5)) -> rule4) ((triple10) -> rule5)) -> rule6))]