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