Bob is blue. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is white. Charlie is blue. Charlie is nice. Fiona is furry. Fiona is quiet. Harry is blue. If Charlie is red and Charlie is furry then Charlie is quiet. If something is blue and green then it is red. If Fiona is quiet and Fiona is white then Fiona is blue. If something is nice then it is red. If something is red then it is furry. If Charlie is furry then Charlie is nice.
Fiona is red.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2 OR ((triple6) -> rule5) OR ((((triple4) -> rule4)) -> rule5) OR ((((triple1 triple3) -> rule2)) -> rule5))] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6 OR ((triple4) -> rule4) OR ((triple1 triple3) -> rule2))] Bob is white.[(triple7)] Charlie is blue.[(triple8)] Charlie is nice.[(triple9)] Fiona is furry.[(triple10)] Fiona is quiet.[(triple11)] Harry is blue.[(triple12)] @1: Charlie is red.[(((triple9) -> rule4))] @2: Charlie is furry.[(((((triple9) -> rule4)) -> rule5))] @3: Charlie is quiet.[(((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule5)) -> rule1))]