Dave is cold. Dave is kind. Dave is quiet. Dave is smart. Fiona is cold. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. Gary is cold. Gary is kind. Gary is rough. Gary is round. Gary is smart. If someone is smart and green then they are cold. Cold people are green. If someone is round and rough then they are green. All quiet people are rough. All green, cold people are smart. If someone is quiet and rough then they are green.
Gary is quiet.
@0: Dave is cold.[(triple1 OR ((triple4 ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule1))] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is smart.[(triple4 OR ((((triple1) -> rule2) triple1) -> rule5) OR ((((triple3 ((triple3) -> rule4)) -> rule6) triple1) -> rule5))] Fiona is cold.[(triple5 OR ((triple11 triple6) -> rule1) OR ((triple11 ((triple10 triple9) -> rule3)) -> rule1) OR ((triple11 ((triple8 triple9) -> rule6)) -> rule1) OR ((triple11 ((triple10 ((triple8) -> rule4)) -> rule3)) -> rule1) OR ((triple11 ((triple8 ((triple8) -> rule4)) -> rule6)) -> rule1))] Fiona is green.[(triple6 OR ((triple5) -> rule2) OR ((triple10 triple9) -> rule3) OR ((triple8 triple9) -> rule6) OR ((triple10 ((triple8) -> rule4)) -> rule3) OR ((triple8 ((triple8) -> rule4)) -> rule6))] Fiona is kind.[(triple7)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9 OR ((triple8) -> rule4))] Fiona is round.[(triple10)] Fiona is smart.[(triple11 OR ((triple6 triple5) -> rule5) OR ((((triple5) -> rule2) triple5) -> rule5) OR ((((triple10 triple9) -> rule3) triple5) -> rule5) OR ((((triple8 triple9) -> rule6) triple5) -> rule5) OR ((((triple10 ((triple8) -> rule4)) -> rule3) triple5) -> rule5) OR ((((triple8 ((triple8) -> rule4)) -> rule6) triple5) -> rule5))] Gary is cold.[(triple12 OR ((triple16 ((triple15 triple14) -> rule3)) -> rule1))] Gary is kind.[(triple13)] Gary is rough.[(triple14)] Gary is round.[(triple15)] Gary is smart.[(triple16 OR ((((triple12) -> rule2) triple12) -> rule5) OR ((((triple15 triple14) -> rule3) triple12) -> rule5))] @1: Dave is green.[(((triple1) -> rule2) OR ((triple3 ((triple3) -> rule4)) -> rule6))] Dave is rough.[(((triple3) -> rule4))] Gary is green.[(((triple12) -> rule2) OR ((triple15 triple14) -> rule3))]