Bob is not nice. Bob is not smart. Bob is not white. Erin is blue. Erin is not nice. Erin is red. Erin is smart. Erin is white. Erin is young. Gary is blue. Gary is smart. Gary is white. Red, big people are not nice. If someone is nice and blue then they are big. If someone is young and red then they are big. If someone is nice then they are big. If Gary is white and Gary is smart then Gary is young. If someone is young then they are red.
Gary is not big.
@0: Bob is not nice.[(triple1)] Bob is not smart.[(triple2)] Bob is not white.[(triple3)] Erin is blue.[(triple4)] Erin is not nice.[(triple5 OR ((triple6 ((triple9 triple6) -> rule3)) -> rule1) OR ((((triple9) -> rule6) ((triple9 triple6) -> rule3)) -> rule1) OR ((triple6 ((triple9 ((triple9) -> rule6)) -> rule3)) -> rule1) OR ((((triple9) -> rule6) ((triple9 ((triple9) -> rule6)) -> rule3)) -> rule1))] Erin is red.[(triple6 OR ((triple9) -> rule6))] Erin is smart.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Gary is blue.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12)] @1: Erin is big.[(((triple9 triple6) -> rule3) OR ((triple9 ((triple9) -> rule6)) -> rule3))] Gary is young.[(((triple12 triple11) -> rule5))] @2: Gary is red.[(((((triple12 triple11) -> rule5)) -> rule6))] @3: Gary is big.[(((((triple12 triple11) -> rule5) ((((triple12 triple11) -> rule5)) -> rule6)) -> rule3))] @4: Gary is not nice.[(((((((triple12 triple11) -> rule5)) -> rule6) ((((triple12 triple11) -> rule5) ((((triple12 triple11) -> rule5)) -> rule6)) -> rule3)) -> rule1))]