Dave is cold. Dave is kind. Dave is quiet. Erin is green. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is round. Gary is cold. Gary is kind. Gary is young. If someone is kind then they are cold. All green people are quiet. If Erin is green and Erin is cold then Erin is round. All cold, smart people are round. All quiet, kind people are green. Quiet people are kind. If Erin is round then Erin is young.
Erin is not round.
@0: Dave is cold.[(triple1 OR ((triple2) -> rule1) OR ((((triple3) -> rule6)) -> rule1))] Dave is kind.[(triple2 OR ((triple3) -> rule6))] Dave is quiet.[(triple3)] Erin is green.[(triple4)] Fiona is cold.[(triple5 OR ((((triple7) -> rule6)) -> rule1) OR ((((((triple6) -> rule2)) -> rule6)) -> rule1))] Fiona is green.[(triple6 OR ((triple7 ((triple7) -> rule6)) -> rule5))] Fiona is quiet.[(triple7 OR ((triple6) -> rule2))] Fiona is round.[(triple8)] Gary is cold.[(triple9 OR ((triple10) -> rule1))] Gary is kind.[(triple10)] Gary is young.[(triple11)] @1: Dave is green.[(((triple3 triple2) -> rule5) OR ((triple3 ((triple3) -> rule6)) -> rule5))] Erin is quiet.[(((triple4) -> rule2))] Fiona is kind.[(((triple7) -> rule6) OR ((((triple6) -> rule2)) -> rule6))] @2: Erin is kind.[(((((triple4) -> rule2)) -> rule6))] @3: Erin is cold.[(((((((triple4) -> rule2)) -> rule6)) -> rule1))] @4: Erin is round.[(((triple4 ((((((triple4) -> rule2)) -> rule6)) -> rule1)) -> rule3))] @5: Erin is young.[(((((triple4 ((((((triple4) -> rule2)) -> rule6)) -> rule1)) -> rule3)) -> rule7))]