Anne is blue. Bob is blue. Bob is green. Bob is quiet. Bob is red. Bob is round. Bob is white. Fiona is blue. Fiona is green. Fiona is round. Gary is blue. Gary is quiet. Gary is not red. Gary is rough. Gary is round. Gary is white. If someone is green then they are rough. White people are quiet. If Anne is quiet and Anne is white then Anne is red. If someone is round and not rough then they are not white. If someone is green then they are white. If someone is green and not red then they are blue. If someone is quiet then they are blue. All white people are blue.
Anne is white.
@0: Anne is blue.[(triple1)] Bob is blue.[(triple2 OR ((triple4) -> rule7) OR ((triple7) -> rule8) OR ((((triple3) -> rule5)) -> rule8) OR ((((triple7) -> rule2)) -> rule7) OR ((((((triple3) -> rule5)) -> rule2)) -> rule7))] Bob is green.[(triple3)] Bob is quiet.[(triple4 OR ((triple7) -> rule2) OR ((((triple3) -> rule5)) -> rule2))] Bob is red.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7 OR ((triple3) -> rule5))] Fiona is blue.[(triple8 OR ((((triple9) -> rule5)) -> rule8) OR ((((((triple9) -> rule5)) -> rule2)) -> rule7))] Fiona is green.[(triple9)] Fiona is round.[(triple10)] Gary is blue.[(triple11 OR ((triple12) -> rule7) OR ((triple16) -> rule8) OR ((((triple16) -> rule2)) -> rule7))] Gary is not red.[(triple13)] Gary is quiet.[(triple12 OR ((triple16) -> rule2))] Gary is rough.[(triple14)] Gary is round.[(triple15)] Gary is white.[(triple16)] @1: Bob is rough.[(((triple3) -> rule1))] Fiona is rough.[(((triple9) -> rule1))] Fiona is white.[(((triple9) -> rule5))] @2: Fiona is quiet.[(((((triple9) -> rule5)) -> rule2))]