Bob is quiet. Bob is not young. Charlie is not big. Charlie is cold. Charlie is not furry. Charlie is nice. Charlie is quiet. Charlie is not red. Charlie is young. Dave is furry. Gary is not big. Gary is furry. Gary is nice. Gary is quiet. Gary is young. If Bob is cold and Bob is nice then Bob is young. If someone is furry then they are young. Young, cold people are quiet. If Charlie is big then Charlie is nice. All furry people are cold. If someone is young and not big then they are cold. All red people are furry. Cold people are nice.
Dave is big.
@0: Bob is not young.[(triple2)] Bob is quiet.[(triple1)] Charlie is cold.[(triple4 OR ((triple9 triple3) -> rule6))] Charlie is nice.[(triple6 OR ((triple4) -> rule8) OR ((((triple9 triple3) -> rule6)) -> rule8))] Charlie is not big.[(triple3)] Charlie is not furry.[(triple5)] Charlie is not red.[(triple8)] Charlie is quiet.[(triple7 OR ((triple9 triple4) -> rule3) OR ((triple9 ((triple9 triple3) -> rule6)) -> rule3))] Charlie is young.[(triple9)] Dave is furry.[(triple10)] Gary is furry.[(triple12)] Gary is nice.[(triple13 OR ((((triple12) -> rule5)) -> rule8) OR ((((triple15 triple11) -> rule6)) -> rule8) OR ((((((triple12) -> rule2) triple11) -> rule6)) -> rule8))] Gary is not big.[(triple11)] Gary is quiet.[(triple14 OR ((triple15 ((triple12) -> rule5)) -> rule3) OR ((triple15 ((triple15 triple11) -> rule6)) -> rule3) OR ((((triple12) -> rule2) ((triple12) -> rule5)) -> rule3) OR ((((triple12) -> rule2) ((triple15 triple11) -> rule6)) -> rule3) OR ((triple15 ((((triple12) -> rule2) triple11) -> rule6)) -> rule3) OR ((((triple12) -> rule2) ((((triple12) -> rule2) triple11) -> rule6)) -> rule3))] Gary is young.[(triple15 OR ((triple12) -> rule2))] @1: Dave is cold.[(((triple10) -> rule5))] Dave is young.[(((triple10) -> rule2))] Gary is cold.[(((triple12) -> rule5) OR ((triple15 triple11) -> rule6) OR ((((triple12) -> rule2) triple11) -> rule6))] @2: Dave is nice.[(((((triple10) -> rule5)) -> rule8))] Dave is quiet.[(((((triple10) -> rule2) ((triple10) -> rule5)) -> rule3))]