Anne is furry. Anne is nice. Anne is rough. Anne is young. Fiona is nice. Fiona is quiet. Fiona is round. All young things are rough. If something is rough then it is big. If something is quiet then it is round. Young, nice things are rough. If something is quiet then it is furry. All rough things are quiet.
Fiona is rough.
@0: Anne is furry.[(triple1 OR ((((triple3) -> rule6)) -> rule5) OR ((((((triple4) -> rule1)) -> rule6)) -> rule5) OR ((((((triple4 triple2) -> rule4)) -> rule6)) -> rule5))] Anne is nice.[(triple2)] Anne is rough.[(triple3 OR ((triple4) -> rule1) OR ((triple4 triple2) -> rule4))] Anne is young.[(triple4)] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6)] Fiona is round.[(triple7 OR ((triple6) -> rule3))] @1: Anne is big.[(((triple3) -> rule2) OR ((((triple4) -> rule1)) -> rule2) OR ((((triple4 triple2) -> rule4)) -> rule2))] Anne is quiet.[(((triple3) -> rule6) OR ((((triple4) -> rule1)) -> rule6) OR ((((triple4 triple2) -> rule4)) -> rule6))] Fiona is furry.[(((triple6) -> rule5))] @2: Anne is round.[(((((triple3) -> rule6)) -> rule3) OR ((((((triple4) -> rule1)) -> rule6)) -> rule3) OR ((((((triple4 triple2) -> rule4)) -> rule6)) -> rule3))]