Bob is kind. Charlie is quiet. Fiona is big. Fiona is blue. Fiona is kind. Fiona is quiet. Gary is white. Blue, quiet things are big. All quiet things are blue. Quiet, rough things are big. Rough things are quiet. All big things are red. If Gary is white then Gary is rough. If something is white and big then it is blue. All rough, blue things are white. If something is quiet and red then it is kind.
Bob is red.
@0: Bob is kind.[(triple1)] Charlie is quiet.[(triple2)] Fiona is big.[(triple3 OR ((triple4 triple6) -> rule1) OR ((((triple6) -> rule2) triple6) -> rule1))] Fiona is blue.[(triple4 OR ((triple6) -> rule2))] Fiona is kind.[(triple5 OR ((triple6 ((triple3) -> rule5)) -> rule9) OR ((triple6 ((((triple4 triple6) -> rule1)) -> rule5)) -> rule9) OR ((triple6 ((((((triple6) -> rule2) triple6) -> rule1)) -> rule5)) -> rule9))] Fiona is quiet.[(triple6)] Gary is white.[(triple7)] @1: Charlie is blue.[(((triple2) -> rule2))] Fiona is red.[(((triple3) -> rule5) OR ((((triple4 triple6) -> rule1)) -> rule5) OR ((((((triple6) -> rule2) triple6) -> rule1)) -> rule5))] Gary is rough.[(((triple7) -> rule6))] @2: Charlie is big.[(((((triple2) -> rule2) triple2) -> rule1))] Gary is quiet.[(((((triple7) -> rule6)) -> rule4))] @3: Charlie is red.[(((((((triple2) -> rule2) triple2) -> rule1)) -> rule5))] Gary is big.[(((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule4)) -> rule2) ((((triple7) -> rule6)) -> rule4)) -> rule1))] Gary is blue.[(((((((triple7) -> rule6)) -> rule4)) -> rule2) OR ((triple7 ((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule3)) -> rule7))] @4: Charlie is kind.[(((triple2 ((((((triple2) -> rule2) triple2) -> rule1)) -> rule5)) -> rule9))] Gary is red.[(((((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule3)) -> rule5) OR ((((((((((triple7) -> rule6)) -> rule4)) -> rule2) ((((triple7) -> rule6)) -> rule4)) -> rule1)) -> rule5))] @5: Gary is kind.[(((((((triple7) -> rule6)) -> rule4) ((((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule3)) -> rule5)) -> rule9) OR ((((((triple7) -> rule6)) -> rule4) ((((((((((triple7) -> rule6)) -> rule4)) -> rule2) ((((triple7) -> rule6)) -> rule4)) -> rule1)) -> rule5)) -> rule9))]