Bob is nice. Bob is rough. Erin is quiet. Erin is red. Erin is rough. Erin is white. Erin is young. Red things are white. If Bob is white then Bob is blue. All nice things are young. Nice, red things are young. If something is quiet and not nice then it is not young. All quiet things are red. If something is nice and rough then it is quiet. All blue things are quiet.
Bob is quiet.
@0: Bob is nice.[(triple1)] Bob is rough.[(triple2)] Erin is quiet.[(triple3)] Erin is red.[(triple4 OR ((triple3) -> rule6))] Erin is rough.[(triple5)] Erin is white.[(triple6 OR ((triple4) -> rule1) OR ((((triple3) -> rule6)) -> rule1))] Erin is young.[(triple7)] @1: Bob is quiet.[(((triple1 triple2) -> rule7))] Bob is young.[(((triple1) -> rule3) OR ((triple1 ((((triple1 triple2) -> rule7)) -> rule6)) -> rule4))] @2: Bob is red.[(((((triple1 triple2) -> rule7)) -> rule6))] @3: Bob is white.[(((((((triple1 triple2) -> rule7)) -> rule6)) -> rule1))] @4: Bob is blue.[(((((((((triple1 triple2) -> rule7)) -> rule6)) -> rule1)) -> rule2))]