Bob is quiet. Bob is red. Charlie is not nice. Charlie is not smart. Charlie is white. Erin is green. Erin is quiet. Erin is red. Erin is smart. Erin is white. Gary is big. Gary is nice. Gary is not red. Gary is smart. Gary is white. Red things are smart. If something is quiet and big then it is smart. If Erin is big then Erin is nice. If something is smart then it is nice. If something is red and quiet then it is green. All red things are big. If something is red and not smart then it is white. Nice, quiet things are white.
Erin is nice.
@0: Bob is quiet.[(triple1)] Bob is red.[(triple2)] Charlie is not nice.[(triple3)] Charlie is not smart.[(triple4)] Charlie is white.[(triple5)] Erin is green.[(triple6 OR ((triple8 triple7) -> rule5))] Erin is quiet.[(triple7)] Erin is red.[(triple8)] Erin is smart.[(triple9 OR ((triple8) -> rule1) OR ((triple7 ((triple8) -> rule6)) -> rule2))] Erin is white.[(triple10 OR ((((triple9) -> rule4) triple7) -> rule8) OR ((((((triple8) -> rule1)) -> rule4) triple7) -> rule8) OR ((((((triple8) -> rule6)) -> rule3) triple7) -> rule8) OR ((((((triple7 ((triple8) -> rule6)) -> rule2)) -> rule4) triple7) -> rule8))] Gary is big.[(triple11)] Gary is nice.[(triple12 OR ((triple14) -> rule4))] Gary is not red.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15)] @1: Bob is big.[(((triple2) -> rule6))] Bob is green.[(((triple2 triple1) -> rule5))] Bob is smart.[(((triple2) -> rule1) OR ((triple1 ((triple2) -> rule6)) -> rule2))] Erin is big.[(((triple8) -> rule6))] Erin is nice.[(((triple9) -> rule4) OR ((((triple8) -> rule1)) -> rule4) OR ((((triple8) -> rule6)) -> rule3) OR ((((triple7 ((triple8) -> rule6)) -> rule2)) -> rule4))] @2: Bob is nice.[(((((triple2) -> rule1)) -> rule4) OR ((((triple1 ((triple2) -> rule6)) -> rule2)) -> rule4))] @3: Bob is white.[(((((((triple2) -> rule1)) -> rule4) triple1) -> rule8) OR ((((((triple1 ((triple2) -> rule6)) -> rule2)) -> rule4) triple1) -> rule8))]