Bob is kind. Dave is green. Dave is red. Dave is smart. Dave is young. Erin is green. Erin is red. Erin is smart. Erin is young. Gary is big. Gary is kind. Gary is quiet. Gary is red. Gary is smart. Gary is young. If something is smart and young then it is green. Kind things are quiet. If Dave is green then Dave is quiet. If Gary is young then Gary is green. If something is smart then it is red. Red things are young. If something is quiet and kind then it is young. If something is big and red then it is quiet.
Erin is not red.
@0: Bob is kind.[(triple1)] Dave is green.[(triple2 OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple3) -> rule6)) -> rule1) OR ((triple4 ((((triple4) -> rule5)) -> rule6)) -> rule1))] Dave is red.[(triple3 OR ((triple4) -> rule5))] Dave is smart.[(triple4)] Dave is young.[(triple5 OR ((triple3) -> rule6) OR ((((triple4) -> rule5)) -> rule6))] Erin is green.[(triple6 OR ((triple8 triple9) -> rule1) OR ((triple8 ((triple7) -> rule6)) -> rule1) OR ((triple8 ((((triple8) -> rule5)) -> rule6)) -> rule1))] Erin is red.[(triple7 OR ((triple8) -> rule5))] Erin is smart.[(triple8)] Erin is young.[(triple9 OR ((triple7) -> rule6) OR ((((triple8) -> rule5)) -> rule6))] Gary is big.[(triple10)] Gary is kind.[(triple11)] Gary is quiet.[(triple12 OR ((triple11) -> rule2) OR ((triple10 triple13) -> rule8) OR ((triple10 ((triple14) -> rule5)) -> rule8))] Gary is red.[(triple13 OR ((triple14) -> rule5))] Gary is smart.[(triple14)] Gary is young.[(triple15 OR ((triple13) -> rule6) OR ((triple12 triple11) -> rule7) OR ((((triple14) -> rule5)) -> rule6) OR ((((triple11) -> rule2) triple11) -> rule7) OR ((((triple10 triple13) -> rule8) triple11) -> rule7) OR ((((triple10 ((triple14) -> rule5)) -> rule8) triple11) -> rule7))] @1: Bob is quiet.[(((triple1) -> rule2))] Dave is quiet.[(((triple2) -> rule3) OR ((((triple4 triple5) -> rule1)) -> rule3) OR ((((triple4 ((triple3) -> rule6)) -> rule1)) -> rule3) OR ((((triple4 ((((triple4) -> rule5)) -> rule6)) -> rule1)) -> rule3))] Gary is green.[(((triple15) -> rule4) OR ((triple14 triple15) -> rule1) OR ((((triple13) -> rule6)) -> rule4) OR ((((triple12 triple11) -> rule7)) -> rule4) OR ((triple14 ((triple13) -> rule6)) -> rule1) OR ((triple14 ((triple12 triple11) -> rule7)) -> rule1) OR ((((((triple14) -> rule5)) -> rule6)) -> rule4) OR ((((((triple11) -> rule2) triple11) -> rule7)) -> rule4) OR ((((((triple10 triple13) -> rule8) triple11) -> rule7)) -> rule4) OR ((triple14 ((((triple14) -> rule5)) -> rule6)) -> rule1) OR ((triple14 ((((triple11) -> rule2) triple11) -> rule7)) -> rule1) OR ((triple14 ((((triple10 triple13) -> rule8) triple11) -> rule7)) -> rule1) OR ((((((triple10 ((triple14) -> rule5)) -> rule8) triple11) -> rule7)) -> rule4) OR ((triple14 ((((triple10 ((triple14) -> rule5)) -> rule8) triple11) -> rule7)) -> rule1))] @2: Bob is young.[(((((triple1) -> rule2) triple1) -> rule7))]