Bob is kind. Bob is smart. Charlie is kind. Charlie is nice. Charlie is white. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is white. Gary is cold. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. Gary is smart. If Fiona is quiet then Fiona is kind. If something is rough then it is quiet. All nice, smart things are rough. Rough things are white. If something is smart then it is nice. White, kind things are smart.
Charlie is not quiet.
@0: Bob is kind.[(triple1)] Bob is smart.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((((triple5 triple3) -> rule6)) -> rule5))] Charlie is white.[(triple5)] Fiona is cold.[(triple6)] Fiona is nice.[(triple7 OR ((((triple9 ((triple8) -> rule1)) -> rule6)) -> rule5))] Fiona is quiet.[(triple8)] Fiona is white.[(triple9)] Gary is cold.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12 OR ((triple15) -> rule5) OR ((((((triple14) -> rule4) triple11) -> rule6)) -> rule5))] Gary is quiet.[(triple13 OR ((triple14) -> rule2) OR ((((triple12 triple15) -> rule3)) -> rule2) OR ((((((triple15) -> rule5) triple15) -> rule3)) -> rule2))] Gary is rough.[(triple14 OR ((triple12 triple15) -> rule3) OR ((((triple15) -> rule5) triple15) -> rule3))] Gary is smart.[(triple15 OR ((((triple14) -> rule4) triple11) -> rule6))] @1: Bob is nice.[(((triple2) -> rule5))] Charlie is smart.[(((triple5 triple3) -> rule6))] Fiona is kind.[(((triple8) -> rule1))] Gary is white.[(((triple14) -> rule4) OR ((((triple12 triple15) -> rule3)) -> rule4) OR ((((((triple15) -> rule5) triple15) -> rule3)) -> rule4))] @2: Bob is rough.[(((((triple2) -> rule5) triple2) -> rule3))] Charlie is rough.[(((triple4 ((triple5 triple3) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule6)) -> rule5) ((triple5 triple3) -> rule6)) -> rule3))] Fiona is smart.[(((triple9 ((triple8) -> rule1)) -> rule6))] @3: Bob is quiet.[(((((((triple2) -> rule5) triple2) -> rule3)) -> rule2))] Bob is white.[(((((((triple2) -> rule5) triple2) -> rule3)) -> rule4))] Charlie is quiet.[(((((triple4 ((triple5 triple3) -> rule6)) -> rule3)) -> rule2) OR ((((((((triple5 triple3) -> rule6)) -> rule5) ((triple5 triple3) -> rule6)) -> rule3)) -> rule2))] Fiona is rough.[(((triple7 ((triple9 ((triple8) -> rule1)) -> rule6)) -> rule3) OR ((((((triple9 ((triple8) -> rule1)) -> rule6)) -> rule5) ((triple9 ((triple8) -> rule1)) -> rule6)) -> rule3))]