Bob is cold. Bob is furry. Bob is green. Bob is red. Bob is smart. Bob is young. Charlie is cold. Charlie is red. Charlie is rough. Erin is cold. Erin is rough. Erin is smart. Erin is young. Fiona is green. Fiona is red. Fiona is young. Rough, smart things are furry. If something is smart then it is young. Red, rough things are smart. All red things are rough. If Bob is rough then Bob is young. If something is green then it is rough. Cold, young things are rough. If something is rough then it is young.
Erin is not red.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((((triple3) -> rule6) triple5) -> rule1) OR ((((triple4) -> rule4) triple5) -> rule1) OR ((((triple1 triple6) -> rule7) triple5) -> rule1) OR ((((triple1 ((triple5) -> rule2)) -> rule7) triple5) -> rule1) OR ((((triple3) -> rule6) ((triple4 ((triple3) -> rule6)) -> rule3)) -> rule1) OR ((((triple3) -> rule6) ((triple4 ((triple4) -> rule4)) -> rule3)) -> rule1) OR ((((triple3) -> rule6) ((triple4 ((triple1 triple6) -> rule7)) -> rule3)) -> rule1) OR ((((triple4) -> rule4) ((triple4 ((triple3) -> rule6)) -> rule3)) -> rule1) OR ((((triple4) -> rule4) ((triple4 ((triple4) -> rule4)) -> rule3)) -> rule1) OR ((((triple4) -> rule4) ((triple4 ((triple1 triple6) -> rule7)) -> rule3)) -> rule1) OR ((((triple1 triple6) -> rule7) ((triple4 ((triple3) -> rule6)) -> rule3)) -> rule1) OR ((((triple1 triple6) -> rule7) ((triple4 ((triple4) -> rule4)) -> rule3)) -> rule1) OR ((((triple1 triple6) -> rule7) ((triple4 ((triple1 triple6) -> rule7)) -> rule3)) -> rule1) OR ((((triple1 ((triple5) -> rule2)) -> rule7) ((triple4 ((triple3) -> rule6)) -> rule3)) -> rule1) OR ((((triple1 ((triple5) -> rule2)) -> rule7) ((triple4 ((triple4) -> rule4)) -> rule3)) -> rule1) OR ((((triple1 ((triple5) -> rule2)) -> rule7) ((triple4 ((triple1 triple6) -> rule7)) -> rule3)) -> rule1))] Bob is green.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5 OR ((triple4 ((triple3) -> rule6)) -> rule3) OR ((triple4 ((triple4) -> rule4)) -> rule3) OR ((triple4 ((triple1 triple6) -> rule7)) -> rule3))] Bob is young.[(triple6 OR ((triple5) -> rule2) OR ((((triple3) -> rule6)) -> rule5) OR ((((triple3) -> rule6)) -> rule8) OR ((((triple4) -> rule4)) -> rule5) OR ((((triple4) -> rule4)) -> rule8) OR ((((triple4 ((triple3) -> rule6)) -> rule3)) -> rule2) OR ((((triple4 ((triple4) -> rule4)) -> rule3)) -> rule2))] Charlie is cold.[(triple7)] Charlie is red.[(triple8)] Charlie is rough.[(triple9 OR ((triple8) -> rule4))] Erin is cold.[(triple10)] Erin is rough.[(triple11 OR ((triple10 triple13) -> rule7) OR ((triple10 ((triple12) -> rule2)) -> rule7))] Erin is smart.[(triple12)] Erin is young.[(triple13 OR ((triple11) -> rule8) OR ((triple12) -> rule2))] Fiona is green.[(triple14)] Fiona is red.[(triple15)] Fiona is young.[(triple16 OR ((((triple14) -> rule6)) -> rule8) OR ((((triple15) -> rule4)) -> rule8) OR ((((triple15 ((triple14) -> rule6)) -> rule3)) -> rule2) OR ((((triple15 ((triple15) -> rule4)) -> rule3)) -> rule2))] @1: Bob is rough.[(((triple3) -> rule6) OR ((triple4) -> rule4) OR ((triple1 triple6) -> rule7) OR ((triple1 ((triple5) -> rule2)) -> rule7))] Charlie is smart.[(((triple8 triple9) -> rule3) OR ((triple8 ((triple8) -> rule4)) -> rule3))] Charlie is young.[(((triple9) -> rule8) OR ((((triple8) -> rule4)) -> rule8) OR ((((triple8 triple9) -> rule3)) -> rule2) OR ((((triple8 ((triple8) -> rule4)) -> rule3)) -> rule2))] Erin is furry.[(((triple11 triple12) -> rule1) OR ((((triple10 triple13) -> rule7) triple12) -> rule1) OR ((((triple10 ((triple12) -> rule2)) -> rule7) triple12) -> rule1))] Fiona is rough.[(((triple14) -> rule6) OR ((triple15) -> rule4))] @2: Charlie is furry.[(((triple9 ((triple8 triple9) -> rule3)) -> rule1) OR ((((triple8) -> rule4) ((triple8 triple9) -> rule3)) -> rule1) OR ((triple9 ((triple8 ((triple8) -> rule4)) -> rule3)) -> rule1) OR ((((triple8) -> rule4) ((triple8 ((triple8) -> rule4)) -> rule3)) -> rule1))] Fiona is smart.[(((triple15 ((triple14) -> rule6)) -> rule3) OR ((triple15 ((triple15) -> rule4)) -> rule3))] @3: Fiona is furry.[(((((triple14) -> rule6) ((triple15 ((triple14) -> rule6)) -> rule3)) -> rule1) OR ((((triple14) -> rule6) ((triple15 ((triple15) -> rule4)) -> rule3)) -> rule1) OR ((((triple15) -> rule4) ((triple15 ((triple14) -> rule6)) -> rule3)) -> rule1) OR ((((triple15) -> rule4) ((triple15 ((triple15) -> rule4)) -> rule3)) -> rule1))]