Charlie is big. Charlie is green. Charlie is smart. Dave is big. Dave is rough. Dave is round. Dave is smart. Dave is young. Erin is rough. Erin is smart. Erin is young. Fiona is red. Fiona is rough. Fiona is round. Fiona is young. Big people are round. If someone is smart and rough then they are young. If someone is round then they are rough. If Erin is green and Erin is young then Erin is big. All round, big people are red. If someone is round then they are smart.
Fiona is big.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is smart.[(triple3 OR ((((triple1) -> rule1)) -> rule6))] Dave is big.[(triple4)] Dave is rough.[(triple5 OR ((triple6) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] Dave is round.[(triple6 OR ((triple4) -> rule1))] Dave is smart.[(triple7 OR ((triple6) -> rule6) OR ((((triple4) -> rule1)) -> rule6))] Dave is young.[(triple8 OR ((triple7 triple5) -> rule2) OR ((triple7 ((triple6) -> rule3)) -> rule2) OR ((((triple6) -> rule6) triple5) -> rule2) OR ((((triple6) -> rule6) ((triple6) -> rule3)) -> rule2) OR ((triple7 ((((triple4) -> rule1)) -> rule3)) -> rule2) OR ((((((triple4) -> rule1)) -> rule6) triple5) -> rule2) OR ((((triple6) -> rule6) ((((triple4) -> rule1)) -> rule3)) -> rule2) OR ((((((triple4) -> rule1)) -> rule6) ((triple6) -> rule3)) -> rule2) OR ((((((triple4) -> rule1)) -> rule6) ((((triple4) -> rule1)) -> rule3)) -> rule2))] Erin is rough.[(triple9)] Erin is smart.[(triple10)] Erin is young.[(triple11 OR ((triple10 triple9) -> rule2))] Fiona is red.[(triple12)] Fiona is rough.[(triple13 OR ((triple14) -> rule3))] Fiona is round.[(triple14)] Fiona is young.[(triple15 OR ((((triple14) -> rule6) triple13) -> rule2) OR ((((triple14) -> rule6) ((triple14) -> rule3)) -> rule2))] @1: Charlie is round.[(((triple1) -> rule1))] Dave is red.[(((triple6 triple4) -> rule5) OR ((((triple4) -> rule1) triple4) -> rule5))] Fiona is smart.[(((triple14) -> rule6))] @2: Charlie is red.[(((((triple1) -> rule1) triple1) -> rule5))] Charlie is rough.[(((((triple1) -> rule1)) -> rule3))] @3: Charlie is young.[(((triple3 ((((triple1) -> rule1)) -> rule3)) -> rule2) OR ((((((triple1) -> rule1)) -> rule6) ((((triple1) -> rule1)) -> rule3)) -> rule2))]