Dave is big. Dave is blue. Dave is kind. Dave is nice. Dave is smart. Dave is white. Dave is young. Gary is big. Gary is blue. Gary is kind. Gary is white. Gary is young. All big, smart things are white. All young things are smart. If something is nice then it is white. If something is kind then it is white. Big things are smart. If something is nice and kind then it is young. Smart, blue things are nice. All blue, big things are smart.
Gary is smart.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4 OR ((triple5 triple2) -> rule7) OR ((((triple1) -> rule5) triple2) -> rule7) OR ((((triple7) -> rule2) triple2) -> rule7) OR ((((triple2 triple1) -> rule8) triple2) -> rule7))] Dave is smart.[(triple5 OR ((triple1) -> rule5) OR ((triple7) -> rule2) OR ((triple2 triple1) -> rule8) OR ((((triple4 triple3) -> rule6)) -> rule2))] Dave is white.[(triple6 OR ((triple3) -> rule4) OR ((triple4) -> rule3) OR ((triple1 triple5) -> rule1) OR ((((triple5 triple2) -> rule7)) -> rule3) OR ((triple1 ((triple1) -> rule5)) -> rule1) OR ((triple1 ((triple7) -> rule2)) -> rule1) OR ((triple1 ((triple2 triple1) -> rule8)) -> rule1) OR ((((((triple1) -> rule5) triple2) -> rule7)) -> rule3) OR ((((((triple7) -> rule2) triple2) -> rule7)) -> rule3) OR ((((((triple2 triple1) -> rule8) triple2) -> rule7)) -> rule3) OR ((triple1 ((((triple4 triple3) -> rule6)) -> rule2)) -> rule1))] Dave is young.[(triple7 OR ((triple4 triple3) -> rule6) OR ((((triple5 triple2) -> rule7) triple3) -> rule6) OR ((((((triple1) -> rule5) triple2) -> rule7) triple3) -> rule6) OR ((((((triple2 triple1) -> rule8) triple2) -> rule7) triple3) -> rule6))] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is kind.[(triple10)] Gary is white.[(triple11 OR ((triple10) -> rule4) OR ((triple8 ((triple12) -> rule2)) -> rule1) OR ((triple8 ((triple8) -> rule5)) -> rule1) OR ((triple8 ((triple9 triple8) -> rule8)) -> rule1) OR ((((((triple12) -> rule2) triple9) -> rule7)) -> rule3) OR ((((((triple8) -> rule5) triple9) -> rule7)) -> rule3) OR ((((((triple9 triple8) -> rule8) triple9) -> rule7)) -> rule3))] Gary is young.[(triple12 OR ((((((triple8) -> rule5) triple9) -> rule7) triple10) -> rule6) OR ((((((triple9 triple8) -> rule8) triple9) -> rule7) triple10) -> rule6))] @1: Gary is smart.[(((triple12) -> rule2) OR ((triple8) -> rule5) OR ((triple9 triple8) -> rule8))] @2: Gary is nice.[(((((triple12) -> rule2) triple9) -> rule7) OR ((((triple8) -> rule5) triple9) -> rule7) OR ((((triple9 triple8) -> rule8) triple9) -> rule7))]