Dave is green. Dave is kind. Erin is cold. Erin is furry. Fiona is big. Fiona is furry. Gary is big. All kind people are cold. Green, smart people are rough. If Fiona is cold and Fiona is kind then Fiona is green. If someone is furry then they are smart. All furry, green people are smart. If someone is green and cold then they are big. If someone is furry and rough then they are big. All furry people are smart. Big, cold people are furry.
Fiona is not smart.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Fiona is big.[(triple5)] Fiona is furry.[(triple6)] Gary is big.[(triple7)] @1: Dave is cold.[(((triple2) -> rule1))] Erin is smart.[(((triple4) -> rule4) OR ((triple4) -> rule8))] Fiona is smart.[(((triple6) -> rule4) OR ((triple6) -> rule8))] @2: Dave is big.[(((triple1 ((triple2) -> rule1)) -> rule6))] @3: Dave is furry.[(((((triple1 ((triple2) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule9))] @4: Dave is smart.[(((((((triple1 ((triple2) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule9)) -> rule4) OR ((((((triple1 ((triple2) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule9)) -> rule8) OR ((((((triple1 ((triple2) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule9) triple1) -> rule5))] @5: Dave is rough.[(((triple1 ((((((triple1 ((triple2) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule9)) -> rule4)) -> rule2) OR ((triple1 ((((((triple1 ((triple2) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule9)) -> rule8)) -> rule2) OR ((triple1 ((((((triple1 ((triple2) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule9) triple1) -> rule5)) -> rule2))]