Bob is blue. Charlie is blue. Charlie is rough. Charlie is round. Fiona is cold. Fiona is green. Fiona is kind. Fiona is rough. Harry is green. Harry is kind. Harry is quiet. Harry is round. Rough, green things are blue. Round things are blue. If something is round and kind then it is quiet. All kind things are quiet. If something is kind then it is blue. If something is round and blue then it is cold. All blue things are round. Quiet, kind things are blue.
Charlie is not quiet.
@0: Bob is blue.[(triple1)] Charlie is blue.[(triple2 OR ((triple4) -> rule2))] Charlie is rough.[(triple3)] Charlie is round.[(triple4 OR ((triple2) -> rule7))] Fiona is cold.[(triple5 OR ((((((triple7) -> rule5)) -> rule7) ((triple7) -> rule5)) -> rule6) OR ((((((triple7) -> rule5)) -> rule7) ((triple8 triple6) -> rule1)) -> rule6) OR ((((((triple8 triple6) -> rule1)) -> rule7) ((triple7) -> rule5)) -> rule6) OR ((((((triple8 triple6) -> rule1)) -> rule7) ((triple8 triple6) -> rule1)) -> rule6) OR ((((((triple7) -> rule5)) -> rule7) ((((triple7) -> rule4) triple7) -> rule8)) -> rule6) OR ((((((triple8 triple6) -> rule1)) -> rule7) ((((triple7) -> rule4) triple7) -> rule8)) -> rule6) OR ((((((((triple7) -> rule4) triple7) -> rule8)) -> rule7) ((triple7) -> rule5)) -> rule6) OR ((((((((triple7) -> rule4) triple7) -> rule8)) -> rule7) ((triple8 triple6) -> rule1)) -> rule6) OR ((((((((triple7) -> rule4) triple7) -> rule8)) -> rule7) ((((triple7) -> rule4) triple7) -> rule8)) -> rule6))] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is rough.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11 OR ((triple10) -> rule4) OR ((triple12 triple10) -> rule3) OR ((((((triple10) -> rule5)) -> rule7) triple10) -> rule3))] Harry is round.[(triple12 OR ((((triple10) -> rule5)) -> rule7) OR ((((triple11 triple10) -> rule8)) -> rule7) OR ((((((triple10) -> rule4) triple10) -> rule8)) -> rule7))] @1: Bob is round.[(((triple1) -> rule7))] Charlie is cold.[(((triple4 triple2) -> rule6) OR ((triple4 ((triple4) -> rule2)) -> rule6) OR ((((triple2) -> rule7) triple2) -> rule6) OR ((((triple2) -> rule7) ((triple4) -> rule2)) -> rule6))] Fiona is blue.[(((triple7) -> rule5) OR ((triple8 triple6) -> rule1) OR ((((triple7) -> rule4) triple7) -> rule8))] Fiona is quiet.[(((triple7) -> rule4) OR ((((((triple7) -> rule5)) -> rule7) triple7) -> rule3) OR ((((((triple8 triple6) -> rule1)) -> rule7) triple7) -> rule3))] Harry is blue.[(((triple10) -> rule5) OR ((triple12) -> rule2) OR ((triple11 triple10) -> rule8) OR ((((triple10) -> rule4) triple10) -> rule8) OR ((((triple12 triple10) -> rule3) triple10) -> rule8))] @2: Bob is cold.[(((((triple1) -> rule7) triple1) -> rule6))] Fiona is round.[(((((triple7) -> rule5)) -> rule7) OR ((((triple8 triple6) -> rule1)) -> rule7) OR ((((((triple7) -> rule4) triple7) -> rule8)) -> rule7))] Harry is cold.[(((triple12 ((triple10) -> rule5)) -> rule6) OR ((triple12 ((triple12) -> rule2)) -> rule6) OR ((triple12 ((triple11 triple10) -> rule8)) -> rule6) OR ((triple12 ((((triple10) -> rule4) triple10) -> rule8)) -> rule6) OR ((triple12 ((((triple12 triple10) -> rule3) triple10) -> rule8)) -> rule6) OR ((((((triple10) -> rule5)) -> rule7) ((triple10) -> rule5)) -> rule6) OR ((((((triple10) -> rule5)) -> rule7) ((triple12) -> rule2)) -> rule6) OR ((((((triple10) -> rule5)) -> rule7) ((triple11 triple10) -> rule8)) -> rule6) OR ((((((triple11 triple10) -> rule8)) -> rule7) ((triple10) -> rule5)) -> rule6) OR ((((((triple11 triple10) -> rule8)) -> rule7) ((triple12) -> rule2)) -> rule6) OR ((((((triple11 triple10) -> rule8)) -> rule7) ((triple11 triple10) -> rule8)) -> rule6) OR ((((((triple10) -> rule5)) -> rule7) ((((triple10) -> rule4) triple10) -> rule8)) -> rule6) OR ((((((triple10) -> rule5)) -> rule7) ((((triple12 triple10) -> rule3) triple10) -> rule8)) -> rule6) OR ((((((triple11 triple10) -> rule8)) -> rule7) ((((triple10) -> rule4) triple10) -> rule8)) -> rule6) OR ((((((triple11 triple10) -> rule8)) -> rule7) ((((triple12 triple10) -> rule3) triple10) -> rule8)) -> rule6) OR ((((((((triple10) -> rule4) triple10) -> rule8)) -> rule7) ((triple10) -> rule5)) -> rule6) OR ((((((((triple10) -> rule4) triple10) -> rule8)) -> rule7) ((triple12) -> rule2)) -> rule6) OR ((((((((triple10) -> rule4) triple10) -> rule8)) -> rule7) ((triple11 triple10) -> rule8)) -> rule6) OR ((((((((triple10) -> rule4) triple10) -> rule8)) -> rule7) ((((triple10) -> rule4) triple10) -> rule8)) -> rule6) OR ((((((((triple10) -> rule4) triple10) -> rule8)) -> rule7) ((((triple12 triple10) -> rule3) triple10) -> rule8)) -> rule6))]