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