Bob is round. Charlie is quiet. Charlie is not round. Charlie is young. Dave is round. Dave is white. Erin is nice. White things are nice. If something is round and young then it is white. Round things are white. If something is quiet then it is cold. If something is quiet and round then it is young. All nice things are round. All nice things are quiet. If something is quiet and not young then it is big. If something is cold and nice then it is big.
Charlie is not big.
@0: Bob is round.[(triple1)] Charlie is not round.[(triple3)] Charlie is quiet.[(triple2)] Charlie is young.[(triple4)] Dave is round.[(triple5 OR ((((triple6) -> rule1)) -> rule6))] Dave is white.[(triple6 OR ((triple5) -> rule3))] Erin is nice.[(triple7)] @1: Bob is white.[(((triple1) -> rule3))] Charlie is cold.[(((triple2) -> rule4))] Dave is nice.[(((triple6) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] Erin is quiet.[(((triple7) -> rule7))] Erin is round.[(((triple7) -> rule6))] @2: Bob is nice.[(((((triple1) -> rule3)) -> rule1))] Dave is quiet.[(((((triple6) -> rule1)) -> rule7) OR ((((((triple5) -> rule3)) -> rule1)) -> rule7))] Erin is cold.[(((((triple7) -> rule7)) -> rule4))] Erin is white.[(((((triple7) -> rule6)) -> rule3) OR ((((triple7) -> rule6) ((((triple7) -> rule7) ((triple7) -> rule6)) -> rule5)) -> rule2))] Erin is young.[(((((triple7) -> rule7) ((triple7) -> rule6)) -> rule5))] @3: Bob is quiet.[(((((((triple1) -> rule3)) -> rule1)) -> rule7))] Dave is cold.[(((((((triple6) -> rule1)) -> rule7)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule1)) -> rule7)) -> rule4))] Dave is young.[(((((((triple6) -> rule1)) -> rule7) triple5) -> rule5) OR ((((((triple6) -> rule1)) -> rule7) ((((triple6) -> rule1)) -> rule6)) -> rule5) OR ((((((((triple5) -> rule3)) -> rule1)) -> rule7) triple5) -> rule5) OR ((((((((triple5) -> rule3)) -> rule1)) -> rule7) ((((triple6) -> rule1)) -> rule6)) -> rule5))] Erin is big.[(((((((triple7) -> rule7)) -> rule4) triple7) -> rule9))] @4: Bob is cold.[(((((((((triple1) -> rule3)) -> rule1)) -> rule7)) -> rule4))] Bob is young.[(((((((((triple1) -> rule3)) -> rule1)) -> rule7) triple1) -> rule5))] Dave is big.[(((((((((triple6) -> rule1)) -> rule7)) -> rule4) ((triple6) -> rule1)) -> rule9) OR ((((((((triple6) -> rule1)) -> rule7)) -> rule4) ((((triple5) -> rule3)) -> rule1)) -> rule9) OR ((((((((((triple5) -> rule3)) -> rule1)) -> rule7)) -> rule4) ((triple6) -> rule1)) -> rule9) OR ((((((((((triple5) -> rule3)) -> rule1)) -> rule7)) -> rule4) ((((triple5) -> rule3)) -> rule1)) -> rule9))] @5: Bob is big.[(((((((((((triple1) -> rule3)) -> rule1)) -> rule7)) -> rule4) ((((triple1) -> rule3)) -> rule1)) -> rule9))]