Bob is quiet. Bob is white. Dave is big. Erin is blue. Erin is quiet. Erin is smart. Harry is blue. Harry is cold. Harry is quiet. Harry is young. White people are young. Cold people are quiet. Blue people are quiet. If someone is young then they are quiet. If Bob is blue then Bob is young. If Bob is blue then Bob is white. Quiet, blue people are young. Big people are blue.
Harry is not young.
@0: Bob is quiet.[(triple1 OR ((((triple2) -> rule1)) -> rule4))] Bob is white.[(triple2)] Dave is big.[(triple3)] Erin is blue.[(triple4)] Erin is quiet.[(triple5 OR ((triple4) -> rule3))] Erin is smart.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8)] Harry is quiet.[(triple9 OR ((triple10) -> rule4) OR ((triple7) -> rule3) OR ((triple8) -> rule2))] Harry is young.[(triple10 OR ((triple9 triple7) -> rule7) OR ((((triple7) -> rule3) triple7) -> rule7) OR ((((triple8) -> rule2) triple7) -> rule7))] @1: Bob is young.[(((triple2) -> rule1))] Dave is blue.[(((triple3) -> rule8))] Erin is young.[(((triple5 triple4) -> rule7) OR ((((triple4) -> rule3) triple4) -> rule7))] @2: Dave is quiet.[(((((triple3) -> rule8)) -> rule3))] @3: Dave is young.[(((((((triple3) -> rule8)) -> rule3) ((triple3) -> rule8)) -> rule7))]