Charlie is big. Dave is nice. Dave is round. Erin is big. Erin is nice. Fiona is red. Fiona is rough. If someone is red and big then they are nice. If Dave is round and Dave is rough then Dave is big. If someone is round and young then they are big. All nice people are young. If Charlie is round and Charlie is big then Charlie is young. If someone is red then they are big. All rough, green people are round. If someone is big then they are red. Young people are green.
Charlie is not rough.
@0: Charlie is big.[(triple1)] Dave is nice.[(triple2)] Dave is round.[(triple3)] Erin is big.[(triple4)] Erin is nice.[(triple5 OR ((((triple4) -> rule8) triple4) -> rule1))] Fiona is red.[(triple6)] Fiona is rough.[(triple7)] @1: Charlie is red.[(((triple1) -> rule8))] Dave is young.[(((triple2) -> rule4))] Erin is red.[(((triple4) -> rule8))] Erin is young.[(((triple5) -> rule4) OR ((((((triple4) -> rule8) triple4) -> rule1)) -> rule4))] Fiona is big.[(((triple6) -> rule6))] @2: Charlie is nice.[(((((triple1) -> rule8) triple1) -> rule1))] Dave is big.[(((triple3 ((triple2) -> rule4)) -> rule3))] Dave is green.[(((((triple2) -> rule4)) -> rule9))] Erin is green.[(((((triple5) -> rule4)) -> rule9) OR ((((((((triple4) -> rule8) triple4) -> rule1)) -> rule4)) -> rule9))] Fiona is nice.[(((triple6 ((triple6) -> rule6)) -> rule1))] @3: Charlie is young.[(((((((triple1) -> rule8) triple1) -> rule1)) -> rule4))] Dave is red.[(((((triple3 ((triple2) -> rule4)) -> rule3)) -> rule8))] Fiona is young.[(((((triple6 ((triple6) -> rule6)) -> rule1)) -> rule4))] @4: Charlie is green.[(((((((((triple1) -> rule8) triple1) -> rule1)) -> rule4)) -> rule9))] Fiona is green.[(((((((triple6 ((triple6) -> rule6)) -> rule1)) -> rule4)) -> rule9))] @5: Fiona is round.[(((triple7 ((((((triple6 ((triple6) -> rule6)) -> rule1)) -> rule4)) -> rule9)) -> rule7))]