Dave is big. Dave is nice. Dave is young. Erin is cold. Erin is nice. Erin is round. Fiona is cold. Fiona is nice. Fiona is red. Fiona is young. Nice things are young. Cold things are big. All smart things are big. If something is young then it is smart. Red things are nice. All round things are nice.
Dave is not round.
@0: Dave is big.[(triple1 OR ((((triple3) -> rule4)) -> rule3) OR ((((((triple2) -> rule1)) -> rule4)) -> rule3))] Dave is nice.[(triple2)] Dave is young.[(triple3 OR ((triple2) -> rule1))] Erin is cold.[(triple4)] Erin is nice.[(triple5 OR ((triple6) -> rule6))] Erin is round.[(triple6)] Fiona is cold.[(triple7)] Fiona is nice.[(triple8 OR ((triple9) -> rule5))] Fiona is red.[(triple9)] Fiona is young.[(triple10 OR ((triple8) -> rule1) OR ((((triple9) -> rule5)) -> rule1))] @1: Dave is smart.[(((triple3) -> rule4) OR ((((triple2) -> rule1)) -> rule4))] Erin is big.[(((triple4) -> rule2) OR ((((((triple5) -> rule1)) -> rule4)) -> rule3) OR ((((((((triple6) -> rule6)) -> rule1)) -> rule4)) -> rule3))] Erin is young.[(((triple5) -> rule1) OR ((((triple6) -> rule6)) -> rule1))] Fiona is big.[(((triple7) -> rule2) OR ((((triple10) -> rule4)) -> rule3) OR ((((((triple8) -> rule1)) -> rule4)) -> rule3) OR ((((((((triple9) -> rule5)) -> rule1)) -> rule4)) -> rule3))] Fiona is smart.[(((triple10) -> rule4) OR ((((triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule5)) -> rule1)) -> rule4))] @2: Erin is smart.[(((((triple5) -> rule1)) -> rule4) OR ((((((triple6) -> rule6)) -> rule1)) -> rule4))]