Anne is cold. Anne is kind. Bob is cold. Bob is rough. Bob is white. Dave is rough. Fiona is cold. Fiona is rough. Fiona is smart. Fiona is white. If Anne is young then Anne is round. Round, kind people are smart. Kind people are young. All white, rough people are young. If someone is cold and young then they are round. All white, cold people are smart.
Fiona is young.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Bob is cold.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5)] Dave is rough.[(triple6)] Fiona is cold.[(triple7)] Fiona is rough.[(triple8)] Fiona is smart.[(triple9 OR ((triple10 triple7) -> rule6))] Fiona is white.[(triple10)] @1: Anne is young.[(((triple2) -> rule3))] Bob is smart.[(((triple5 triple3) -> rule6))] Bob is young.[(((triple5 triple4) -> rule4))] Fiona is young.[(((triple10 triple8) -> rule4))] @2: Anne is round.[(((((triple2) -> rule3)) -> rule1) OR ((triple1 ((triple2) -> rule3)) -> rule5))] Bob is round.[(((triple3 ((triple5 triple4) -> rule4)) -> rule5))] Fiona is round.[(((triple7 ((triple10 triple8) -> rule4)) -> rule5))] @3: Anne is smart.[(((((((triple2) -> rule3)) -> rule1) triple2) -> rule2) OR ((((triple1 ((triple2) -> rule3)) -> rule5) triple2) -> rule2))]