Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is red. Bob is rough. Fiona is kind. If Fiona is cold then Fiona is furry. If Fiona is rough and Fiona is red then Fiona is kind. All cold people are red. If someone is rough and kind then they are furry. Kind people are rough. If Fiona is kind and Fiona is rough then Fiona is furry. If someone is furry then they are cold. All cold people are kind.
Fiona is not furry.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple3) -> rule7) OR ((((triple6 triple4) -> rule4)) -> rule7) OR ((((((triple4) -> rule5) triple4) -> rule4)) -> rule7))] Bob is furry.[(triple3 OR ((triple6 triple4) -> rule4) OR ((triple6 ((triple2) -> rule8)) -> rule4) OR ((((triple4) -> rule5) triple4) -> rule4) OR ((((triple4) -> rule5) ((triple2) -> rule8)) -> rule4) OR ((((((triple2) -> rule8)) -> rule5) triple4) -> rule4) OR ((((((triple2) -> rule8)) -> rule5) ((triple2) -> rule8)) -> rule4))] Bob is kind.[(triple4 OR ((triple2) -> rule8) OR ((((triple3) -> rule7)) -> rule8))] Bob is red.[(triple5 OR ((triple2) -> rule3) OR ((((triple3) -> rule7)) -> rule3) OR ((((((triple6 triple4) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple4) -> rule5) triple4) -> rule4)) -> rule7)) -> rule3))] Bob is rough.[(triple6 OR ((triple4) -> rule5) OR ((((triple2) -> rule8)) -> rule5) OR ((((((triple3) -> rule7)) -> rule8)) -> rule5))] Fiona is kind.[(triple7)] @1: Fiona is rough.[(((triple7) -> rule5))] @2: Fiona is furry.[(((triple7 ((triple7) -> rule5)) -> rule6) OR ((((triple7) -> rule5) triple7) -> rule4))] @3: Fiona is cold.[(((((triple7 ((triple7) -> rule5)) -> rule6)) -> rule7) OR ((((((triple7) -> rule5) triple7) -> rule4)) -> rule7))] @4: Fiona is red.[(((((((triple7 ((triple7) -> rule5)) -> rule6)) -> rule7)) -> rule3) OR ((((((((triple7) -> rule5) triple7) -> rule4)) -> rule7)) -> rule3))]