Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Dave is big. Dave is blue. Dave is cold. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Gary is big. Gary is red. Cold people are blue. All cold, blue people are kind. All rough, kind people are blue. If someone is red then they are cold. If someone is red and quiet then they are cold. If Gary is kind then Gary is big.
Gary is not quiet.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple3) -> rule1) OR ((triple7 triple4) -> rule3) OR ((((triple6) -> rule4)) -> rule1) OR ((((triple6 triple5) -> rule5)) -> rule1))] Bob is cold.[(triple3 OR ((triple6) -> rule4) OR ((triple6 triple5) -> rule5))] Bob is kind.[(triple4 OR ((triple3 triple2) -> rule2) OR ((triple3 ((triple3) -> rule1)) -> rule2) OR ((((triple6) -> rule4) triple2) -> rule2) OR ((((triple6 triple5) -> rule5) triple2) -> rule2) OR ((((triple6) -> rule4) ((triple3) -> rule1)) -> rule2) OR ((((triple6 triple5) -> rule5) ((triple3) -> rule1)) -> rule2) OR ((triple3 ((((triple6) -> rule4)) -> rule1)) -> rule2) OR ((triple3 ((((triple6 triple5) -> rule5)) -> rule1)) -> rule2) OR ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((triple6) -> rule4) ((((triple6 triple5) -> rule5)) -> rule1)) -> rule2) OR ((((triple6 triple5) -> rule5) ((((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((triple6 triple5) -> rule5) ((((triple6 triple5) -> rule5)) -> rule1)) -> rule2))] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Bob is rough.[(triple7)] Dave is big.[(triple8)] Dave is blue.[(triple9 OR ((triple10) -> rule1) OR ((triple14 triple11) -> rule3) OR ((((triple13) -> rule4)) -> rule1) OR ((((triple13 triple12) -> rule5)) -> rule1))] Dave is cold.[(triple10 OR ((triple13) -> rule4) OR ((triple13 triple12) -> rule5))] Dave is kind.[(triple11 OR ((triple10 triple9) -> rule2) OR ((triple10 ((triple10) -> rule1)) -> rule2) OR ((((triple13) -> rule4) triple9) -> rule2) OR ((((triple13 triple12) -> rule5) triple9) -> rule2) OR ((((triple13) -> rule4) ((triple10) -> rule1)) -> rule2) OR ((((triple13 triple12) -> rule5) ((triple10) -> rule1)) -> rule2) OR ((triple10 ((((triple13) -> rule4)) -> rule1)) -> rule2) OR ((triple10 ((((triple13 triple12) -> rule5)) -> rule1)) -> rule2) OR ((((triple13) -> rule4) ((((triple13) -> rule4)) -> rule1)) -> rule2) OR ((((triple13) -> rule4) ((((triple13 triple12) -> rule5)) -> rule1)) -> rule2) OR ((((triple13 triple12) -> rule5) ((((triple13) -> rule4)) -> rule1)) -> rule2) OR ((((triple13 triple12) -> rule5) ((((triple13 triple12) -> rule5)) -> rule1)) -> rule2))] Dave is quiet.[(triple12)] Dave is red.[(triple13)] Dave is rough.[(triple14)] Gary is big.[(triple15 OR ((((((triple16) -> rule4) ((((triple16) -> rule4)) -> rule1)) -> rule2)) -> rule6))] Gary is red.[(triple16)] @1: Gary is cold.[(((triple16) -> rule4))] @2: Gary is blue.[(((((triple16) -> rule4)) -> rule1))] @3: Gary is kind.[(((((triple16) -> rule4) ((((triple16) -> rule4)) -> rule1)) -> rule2))]