Bob is green. Bob is red. Bob is rough. Bob is round. Bob is white. Erin is furry. Erin is white. Fiona is green. Fiona is white. Fiona is young. Gary is furry. Gary is green. Gary is red. Gary is rough. Gary is round. Gary is white. If something is furry then it is round. If Bob is rough and Bob is round then Bob is green. If something is green and white then it is red. Round, furry things are green. Green things are rough. All round things are white.
Erin is not red.
@0: Bob is green.[(triple1 OR ((triple3 triple4) -> rule2))] Bob is red.[(triple2 OR ((triple1 triple5) -> rule3) OR ((triple1 ((triple4) -> rule6)) -> rule3) OR ((((triple3 triple4) -> rule2) triple5) -> rule3) OR ((((triple3 triple4) -> rule2) ((triple4) -> rule6)) -> rule3))] Bob is rough.[(triple3 OR ((triple1) -> rule5))] Bob is round.[(triple4)] Bob is white.[(triple5 OR ((triple4) -> rule6))] Erin is furry.[(triple6)] Erin is white.[(triple7 OR ((((triple6) -> rule1)) -> rule6))] Fiona is green.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12 OR ((triple15 triple11) -> rule4) OR ((((triple11) -> rule1) triple11) -> rule4))] Gary is red.[(triple13 OR ((triple12 triple16) -> rule3) OR ((triple12 ((triple15) -> rule6)) -> rule3) OR ((((triple15 triple11) -> rule4) triple16) -> rule3) OR ((((triple15 triple11) -> rule4) ((triple15) -> rule6)) -> rule3) OR ((triple12 ((((triple11) -> rule1)) -> rule6)) -> rule3) OR ((((((triple11) -> rule1) triple11) -> rule4) triple16) -> rule3) OR ((((triple15 triple11) -> rule4) ((((triple11) -> rule1)) -> rule6)) -> rule3) OR ((((((triple11) -> rule1) triple11) -> rule4) ((triple15) -> rule6)) -> rule3) OR ((((((triple11) -> rule1) triple11) -> rule4) ((((triple11) -> rule1)) -> rule6)) -> rule3))] Gary is rough.[(triple14 OR ((triple12) -> rule5) OR ((((triple15 triple11) -> rule4)) -> rule5) OR ((((((triple11) -> rule1) triple11) -> rule4)) -> rule5))] Gary is round.[(triple15 OR ((triple11) -> rule1))] Gary is white.[(triple16 OR ((triple15) -> rule6) OR ((((triple11) -> rule1)) -> rule6))] @1: Erin is round.[(((triple6) -> rule1))] Fiona is red.[(((triple8 triple9) -> rule3))] Fiona is rough.[(((triple8) -> rule5))] @2: Erin is green.[(((((triple6) -> rule1) triple6) -> rule4))] @3: Erin is red.[(((((((triple6) -> rule1) triple6) -> rule4) triple7) -> rule3) OR ((((((triple6) -> rule1) triple6) -> rule4) ((((triple6) -> rule1)) -> rule6)) -> rule3))] Erin is rough.[(((((((triple6) -> rule1) triple6) -> rule4)) -> rule5))]