Anne is big. Anne is green. Anne is nice. Bob is big. Bob is nice. Bob is round. Erin is furry. Erin is green. Erin is nice. Erin is round. Fiona is green. Fiona is nice. All green people are round. If someone is smart and green then they are white. All round people are smart.
Erin is smart.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Bob is big.[(triple4)] Bob is nice.[(triple5)] Bob is round.[(triple6)] Erin is furry.[(triple7)] Erin is green.[(triple8)] Erin is nice.[(triple9)] Erin is round.[(triple10 OR ((triple8) -> rule1))] Fiona is green.[(triple11)] Fiona is nice.[(triple12)] @1: Anne is round.[(((triple2) -> rule1))] Bob is smart.[(((triple6) -> rule3))] Erin is smart.[(((triple10) -> rule3) OR ((((triple8) -> rule1)) -> rule3))] Fiona is round.[(((triple11) -> rule1))] @2: Anne is smart.[(((((triple2) -> rule1)) -> rule3))] Erin is white.[(((((triple10) -> rule3) triple8) -> rule2) OR ((((((triple8) -> rule1)) -> rule3) triple8) -> rule2))] Fiona is smart.[(((((triple11) -> rule1)) -> rule3))] @3: Anne is white.[(((((((triple2) -> rule1)) -> rule3) triple2) -> rule2))] Fiona is white.[(((((((triple11) -> rule1)) -> rule3) triple11) -> rule2))]