Anne is big. Anne is rough. Dave is rough. Dave is white. Fiona is big. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. If someone is white then they are rough. All rough people are white. All rough people are big. All green, smart people are white. If someone is rough then they are green. If Anne is rough and Anne is green then Anne is big.
Fiona is not smart.
@0: Anne is big.[(triple1 OR ((triple2) -> rule3) OR ((triple2 ((triple2) -> rule5)) -> rule6))] Anne is rough.[(triple2)] Dave is rough.[(triple3 OR ((triple4) -> rule1))] Dave is white.[(triple4 OR ((triple3) -> rule2))] Fiona is big.[(triple5 OR ((triple8) -> rule3) OR ((((((triple6 triple10) -> rule4)) -> rule1)) -> rule3))] Fiona is green.[(triple6 OR ((triple8) -> rule5))] Fiona is quiet.[(triple7)] Fiona is rough.[(triple8 OR ((((triple6 triple10) -> rule4)) -> rule1))] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] @1: Anne is green.[(((triple2) -> rule5))] Anne is white.[(((triple2) -> rule2))] Dave is big.[(((triple3) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] Dave is green.[(((triple3) -> rule5) OR ((((triple4) -> rule1)) -> rule5))] Fiona is white.[(((triple8) -> rule2) OR ((triple6 triple10) -> rule4) OR ((((triple8) -> rule5) triple10) -> rule4))]