Anne is smart. Bob is green. Bob is kind. Bob is red. Charlie is green. Charlie is quiet. Gary is green. Gary is quiet. Gary is red. Gary is round. Kind people are red. If Charlie is red and Charlie is kind then Charlie is smart. Red, smart people are kind. All round people are quiet. All quiet people are green. Quiet, green people are red. If someone is quiet then they are round. If Anne is white and Anne is green then Anne is kind.
Gary is not quiet.
@0: Anne is smart.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4 OR ((triple3) -> rule1))] Charlie is green.[(triple5 OR ((triple6) -> rule5))] Charlie is quiet.[(triple6)] Gary is green.[(triple7 OR ((triple8) -> rule5) OR ((((triple10) -> rule4)) -> rule5))] Gary is quiet.[(triple8 OR ((triple10) -> rule4))] Gary is red.[(triple9 OR ((triple8 triple7) -> rule6) OR ((triple8 ((triple8) -> rule5)) -> rule6) OR ((((triple10) -> rule4) triple7) -> rule6) OR ((((triple10) -> rule4) ((triple8) -> rule5)) -> rule6) OR ((triple8 ((((triple10) -> rule4)) -> rule5)) -> rule6) OR ((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule5)) -> rule6))] Gary is round.[(triple10 OR ((triple8) -> rule7))] @1: Charlie is red.[(((triple6 triple5) -> rule6) OR ((triple6 ((triple6) -> rule5)) -> rule6))] Charlie is round.[(((triple6) -> rule7))]