Dave is big. Dave is blue. Dave is furry. Dave is kind. Dave is quiet. Dave is rough. Gary is big. Gary is blue. Gary is furry. Gary is smart. If something is quiet then it is big. If something is smart then it is big. All kind things are rough. If something is quiet then it is furry. All blue things are quiet. All rough, smart things are quiet. Furry, smart things are kind. Furry things are kind.
Gary is kind.
@0: Dave is big.[(triple1 OR ((triple5) -> rule1) OR ((((triple2) -> rule5)) -> rule1))] Dave is blue.[(triple2)] Dave is furry.[(triple3 OR ((triple5) -> rule4) OR ((((triple2) -> rule5)) -> rule4))] Dave is kind.[(triple4 OR ((triple3) -> rule8) OR ((((triple5) -> rule4)) -> rule8) OR ((((((triple2) -> rule5)) -> rule4)) -> rule8))] Dave is quiet.[(triple5 OR ((triple2) -> rule5))] Dave is rough.[(triple6 OR ((triple4) -> rule3) OR ((((triple3) -> rule8)) -> rule3) OR ((((((triple5) -> rule4)) -> rule8)) -> rule3) OR ((((((((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule3))] Gary is big.[(triple7 OR ((triple10) -> rule2) OR ((((triple8) -> rule5)) -> rule1) OR ((((((((triple9) -> rule8)) -> rule3) triple10) -> rule6)) -> rule1) OR ((((((((triple9 triple10) -> rule7)) -> rule3) triple10) -> rule6)) -> rule1))] Gary is blue.[(triple8)] Gary is furry.[(triple9 OR ((((triple8) -> rule5)) -> rule4))] Gary is smart.[(triple10)] @1: Gary is kind.[(((triple9) -> rule8) OR ((triple9 triple10) -> rule7) OR ((((((triple8) -> rule5)) -> rule4)) -> rule8) OR ((((((triple8) -> rule5)) -> rule4) triple10) -> rule7))] Gary is quiet.[(((triple8) -> rule5) OR ((((((triple9) -> rule8)) -> rule3) triple10) -> rule6) OR ((((((triple9 triple10) -> rule7)) -> rule3) triple10) -> rule6))] @2: Gary is rough.[(((((triple9) -> rule8)) -> rule3) OR ((((triple9 triple10) -> rule7)) -> rule3) OR ((((((((triple8) -> rule5)) -> rule4)) -> rule8)) -> rule3) OR ((((((((triple8) -> rule5)) -> rule4) triple10) -> rule7)) -> rule3))]