Bob is furry. Bob is green. Bob is nice. Bob is rough. Bob is smart. Bob is young. Erin is furry. Erin is green. Erin is rough. Erin is smart. Young, big things are nice. All nice things are young. If something is young and green then it is smart. All green, young things are smart. If something is big and smart then it is rough. Furry things are big. Big, smart things are nice. All rough, young things are big.
Erin is not young.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3 OR ((triple6 ((triple1) -> rule6)) -> rule1) OR ((triple6 ((triple4 triple6) -> rule8)) -> rule1) OR ((((triple1) -> rule6) triple5) -> rule7) OR ((((triple4 triple6) -> rule8) triple5) -> rule7) OR ((((triple1) -> rule6) ((triple2 triple6) -> rule4)) -> rule7) OR ((((triple1) -> rule6) ((triple6 triple2) -> rule3)) -> rule7) OR ((((triple4 triple6) -> rule8) ((triple2 triple6) -> rule4)) -> rule7) OR ((((triple4 triple6) -> rule8) ((triple6 triple2) -> rule3)) -> rule7))] Bob is rough.[(triple4 OR ((((triple1) -> rule6) triple5) -> rule5) OR ((((triple1) -> rule6) ((triple2 triple6) -> rule4)) -> rule5) OR ((((triple1) -> rule6) ((triple6 triple2) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((triple2 ((triple3) -> rule2)) -> rule4)) -> rule5) OR ((((triple1) -> rule6) ((((triple3) -> rule2) triple2) -> rule3)) -> rule5))] Bob is smart.[(triple5 OR ((triple2 triple6) -> rule4) OR ((triple6 triple2) -> rule3) OR ((triple2 ((triple3) -> rule2)) -> rule4) OR ((((triple3) -> rule2) triple2) -> rule3))] Bob is young.[(triple6 OR ((triple3) -> rule2) OR ((((((triple1) -> rule6) triple5) -> rule7)) -> rule2))] Erin is furry.[(triple7)] Erin is green.[(triple8)] Erin is rough.[(triple9 OR ((((triple7) -> rule6) triple10) -> rule5))] Erin is smart.[(triple10)] @1: Bob is big.[(((triple1) -> rule6) OR ((triple4 triple6) -> rule8) OR ((triple4 ((triple3) -> rule2)) -> rule8))] Erin is big.[(((triple7) -> rule6))] @2: Erin is nice.[(((((triple7) -> rule6) triple10) -> rule7))] @3: Erin is young.[(((((((triple7) -> rule6) triple10) -> rule7)) -> rule2))]