Dave is big. Dave is furry. Dave is kind. Dave is rough. Dave is smart. Dave is white. Fiona is blue. Fiona is kind. Gary is not big. Gary is blue. Gary is furry. Gary is kind. Gary is rough. Gary is smart. Harry is kind. Harry is rough. All furry things are smart. If something is furry and smart then it is rough. If Harry is white and Harry is smart then Harry is not kind. Big things are furry. Smart things are furry. All big things are kind. If something is white and blue then it is big. All rough, big things are blue.
Fiona is blue.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2 OR ((triple1) -> rule4) OR ((triple5) -> rule5))] Dave is kind.[(triple3 OR ((triple1) -> rule6))] Dave is rough.[(triple4 OR ((triple2 triple5) -> rule2) OR ((triple2 ((triple2) -> rule1)) -> rule2) OR ((((triple1) -> rule4) triple5) -> rule2) OR ((((triple5) -> rule5) triple5) -> rule2) OR ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule2) OR ((((triple5) -> rule5) ((triple2) -> rule1)) -> rule2) OR ((triple2 ((((triple1) -> rule4)) -> rule1)) -> rule2) OR ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule1)) -> rule2) OR ((((triple5) -> rule5) ((((triple1) -> rule4)) -> rule1)) -> rule2))] Dave is smart.[(triple5 OR ((triple2) -> rule1) OR ((((triple1) -> rule4)) -> rule1))] Dave is white.[(triple6)] Fiona is blue.[(triple7)] Fiona is kind.[(triple8)] Gary is blue.[(triple10)] Gary is furry.[(triple11 OR ((triple14) -> rule5))] Gary is kind.[(triple12)] Gary is not big.[(triple9)] Gary is rough.[(triple13 OR ((triple11 triple14) -> rule2) OR ((triple11 ((triple11) -> rule1)) -> rule2) OR ((((triple14) -> rule5) triple14) -> rule2) OR ((((triple14) -> rule5) ((triple11) -> rule1)) -> rule2))] Gary is smart.[(triple14 OR ((triple11) -> rule1))] Harry is kind.[(triple15)] Harry is rough.[(triple16)] @1: Dave is blue.[(((triple4 triple1) -> rule8) OR ((((triple2 triple5) -> rule2) triple1) -> rule8) OR ((((triple2 ((triple2) -> rule1)) -> rule2) triple1) -> rule8) OR ((((((triple1) -> rule4) triple5) -> rule2) triple1) -> rule8) OR ((((((triple5) -> rule5) triple5) -> rule2) triple1) -> rule8) OR ((((((triple1) -> rule4) ((triple2) -> rule1)) -> rule2) triple1) -> rule8) OR ((((((triple5) -> rule5) ((triple2) -> rule1)) -> rule2) triple1) -> rule8) OR ((((triple2 ((((triple1) -> rule4)) -> rule1)) -> rule2) triple1) -> rule8) OR ((((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule1)) -> rule2) triple1) -> rule8) OR ((((((triple5) -> rule5) ((((triple1) -> rule4)) -> rule1)) -> rule2) triple1) -> rule8))]