Bob is big. Bob is furry. Bob is green. Bob is rough. Bob is white. Charlie is not blue. Erin is furry. Erin is green. Erin is white. Erin is young. Gary is big. If someone is white then they are rough. If Erin is young and Erin is blue then Erin is green. All young people are furry. White, green people are furry. If someone is green then they are big. If someone is big then they are white. Furry, big people are blue. If someone is rough then they are blue. Blue people are young.
Gary is young.
@0: Bob is big.[(triple1 OR ((triple3) -> rule5))] Bob is furry.[(triple2 OR ((triple5 triple3) -> rule4) OR ((((triple1) -> rule6) triple3) -> rule4) OR ((((((triple4) -> rule8)) -> rule9)) -> rule3) OR ((((((triple3) -> rule5)) -> rule6) triple3) -> rule4) OR ((((((((triple5) -> rule1)) -> rule8)) -> rule9)) -> rule3) OR ((((((((((triple1) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule3) OR ((((((((((((triple3) -> rule5)) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule3))] Bob is green.[(triple3)] Bob is rough.[(triple4 OR ((triple5) -> rule1) OR ((((triple1) -> rule6)) -> rule1) OR ((((((triple3) -> rule5)) -> rule6)) -> rule1))] Bob is white.[(triple5 OR ((triple1) -> rule6) OR ((((triple3) -> rule5)) -> rule6))] Charlie is not blue.[(triple6)] Erin is furry.[(triple7 OR ((triple10) -> rule3) OR ((triple9 triple8) -> rule4) OR ((((((triple8) -> rule5)) -> rule6) triple8) -> rule4) OR ((((((((triple9) -> rule1)) -> rule8)) -> rule9)) -> rule3) OR ((triple9 ((triple10 ((((triple9) -> rule1)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple8) -> rule5)) -> rule6) ((triple10 ((((triple9) -> rule1)) -> rule8)) -> rule2)) -> rule4) OR ((triple9 ((((((((triple9) -> rule1)) -> rule8)) -> rule9) ((((triple9) -> rule1)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple8) -> rule5)) -> rule6) ((((((((triple9) -> rule1)) -> rule8)) -> rule9) ((((triple9) -> rule1)) -> rule8)) -> rule2)) -> rule4) OR ((((((((((((triple8) -> rule5)) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule3))] Erin is green.[(triple8 OR ((triple10 ((((triple9) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule8)) -> rule9) ((((triple9) -> rule1)) -> rule8)) -> rule2))] Erin is white.[(triple9 OR ((((triple8) -> rule5)) -> rule6))] Erin is young.[(triple10 OR ((((((triple9) -> rule1)) -> rule8)) -> rule9) OR ((((triple7 ((triple8) -> rule5)) -> rule7)) -> rule9) OR ((((((triple9 triple8) -> rule4) ((triple8) -> rule5)) -> rule7)) -> rule9) OR ((((((((((triple8) -> rule5)) -> rule6)) -> rule1)) -> rule8)) -> rule9) OR ((((((((((triple8) -> rule5)) -> rule6) triple8) -> rule4) ((triple8) -> rule5)) -> rule7)) -> rule9))] Gary is big.[(triple11)] @1: Bob is blue.[(((triple4) -> rule8) OR ((triple2 triple1) -> rule7) OR ((((triple5) -> rule1)) -> rule8) OR ((triple2 ((triple3) -> rule5)) -> rule7) OR ((((triple5 triple3) -> rule4) triple1) -> rule7) OR ((((triple5 triple3) -> rule4) ((triple3) -> rule5)) -> rule7) OR ((((((triple1) -> rule6)) -> rule1)) -> rule8) OR ((((((triple1) -> rule6) triple3) -> rule4) triple1) -> rule7) OR ((((((triple1) -> rule6) triple3) -> rule4) ((triple3) -> rule5)) -> rule7) OR ((((((((triple3) -> rule5)) -> rule6)) -> rule1)) -> rule8) OR ((((((((triple3) -> rule5)) -> rule6) triple3) -> rule4) triple1) -> rule7) OR ((((((((triple3) -> rule5)) -> rule6) triple3) -> rule4) ((triple3) -> rule5)) -> rule7))] Erin is big.[(((triple8) -> rule5) OR ((((triple10 ((((triple9) -> rule1)) -> rule8)) -> rule2)) -> rule5) OR ((((((((((triple9) -> rule1)) -> rule8)) -> rule9) ((((triple9) -> rule1)) -> rule8)) -> rule2)) -> rule5))] Erin is rough.[(((triple9) -> rule1) OR ((((((triple8) -> rule5)) -> rule6)) -> rule1))] Gary is white.[(((triple11) -> rule6))] @2: Bob is young.[(((((triple4) -> rule8)) -> rule9) OR ((((triple2 triple1) -> rule7)) -> rule9) OR ((((((triple5) -> rule1)) -> rule8)) -> rule9) OR ((((triple2 ((triple3) -> rule5)) -> rule7)) -> rule9) OR ((((((triple5 triple3) -> rule4) triple1) -> rule7)) -> rule9) OR ((((((triple5 triple3) -> rule4) ((triple3) -> rule5)) -> rule7)) -> rule9) OR ((((((((triple1) -> rule6)) -> rule1)) -> rule8)) -> rule9) OR ((((((((triple1) -> rule6) triple3) -> rule4) triple1) -> rule7)) -> rule9) OR ((((((((triple1) -> rule6) triple3) -> rule4) ((triple3) -> rule5)) -> rule7)) -> rule9) OR ((((((((((triple3) -> rule5)) -> rule6)) -> rule1)) -> rule8)) -> rule9) OR ((((((((((triple3) -> rule5)) -> rule6) triple3) -> rule4) triple1) -> rule7)) -> rule9) OR ((((((((((triple3) -> rule5)) -> rule6) triple3) -> rule4) ((triple3) -> rule5)) -> rule7)) -> rule9))] Erin is blue.[(((((triple9) -> rule1)) -> rule8) OR ((triple7 ((triple8) -> rule5)) -> rule7) OR ((((triple10) -> rule3) ((triple8) -> rule5)) -> rule7) OR ((((triple9 triple8) -> rule4) ((triple8) -> rule5)) -> rule7) OR ((((((((triple8) -> rule5)) -> rule6)) -> rule1)) -> rule8) OR ((((((((triple8) -> rule5)) -> rule6) triple8) -> rule4) ((triple8) -> rule5)) -> rule7))] Gary is rough.[(((((triple11) -> rule6)) -> rule1))] @3: Gary is blue.[(((((((triple11) -> rule6)) -> rule1)) -> rule8))] @4: Gary is young.[(((((((((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule9))] @5: Gary is furry.[(((((((((((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule3))]