Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is smart. Dave is white. Dave is young. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is smart. Fiona is white. Fiona is young. Furry people are cold. If someone is smart then they are furry. All furry, kind people are smart. All white people are young. Kind people are smart. White people are kind. Big people are kind. Smart people are cold.
Fiona is not kind.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2 OR ((triple3) -> rule1) OR ((triple5) -> rule8) OR ((((triple4) -> rule5)) -> rule8) OR ((((triple5) -> rule2)) -> rule1) OR ((((triple3 triple4) -> rule3)) -> rule8) OR ((((((triple1) -> rule7)) -> rule5)) -> rule8) OR ((((((triple4) -> rule5)) -> rule2)) -> rule1) OR ((((((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((triple3 ((triple1) -> rule7)) -> rule3)) -> rule8) OR ((((triple3 ((triple6) -> rule6)) -> rule3)) -> rule8) OR ((((((((triple1) -> rule7)) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple6) -> rule6)) -> rule5)) -> rule2)) -> rule1))] Dave is furry.[(triple3 OR ((triple5) -> rule2) OR ((((triple4) -> rule5)) -> rule2) OR ((((((triple1) -> rule7)) -> rule5)) -> rule2) OR ((((((triple6) -> rule6)) -> rule5)) -> rule2))] Dave is kind.[(triple4 OR ((triple1) -> rule7) OR ((triple6) -> rule6))] Dave is smart.[(triple5 OR ((triple4) -> rule5) OR ((triple3 triple4) -> rule3) OR ((((triple1) -> rule7)) -> rule5) OR ((((triple6) -> rule6)) -> rule5) OR ((triple3 ((triple1) -> rule7)) -> rule3) OR ((triple3 ((triple6) -> rule6)) -> rule3))] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple6) -> rule4))] Fiona is big.[(triple8)] Fiona is cold.[(triple9 OR ((triple10) -> rule1) OR ((triple12) -> rule8) OR ((((triple11) -> rule5)) -> rule8) OR ((((triple12) -> rule2)) -> rule1) OR ((((triple10 triple11) -> rule3)) -> rule8) OR ((((((triple11) -> rule5)) -> rule2)) -> rule1) OR ((((((triple13) -> rule6)) -> rule5)) -> rule8) OR ((((((triple8) -> rule7)) -> rule5)) -> rule8) OR ((((triple10 ((triple13) -> rule6)) -> rule3)) -> rule8) OR ((((triple10 ((triple8) -> rule7)) -> rule3)) -> rule8) OR ((((((((triple13) -> rule6)) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple8) -> rule7)) -> rule5)) -> rule2)) -> rule1))] Fiona is furry.[(triple10 OR ((triple12) -> rule2) OR ((((triple11) -> rule5)) -> rule2) OR ((((((triple13) -> rule6)) -> rule5)) -> rule2) OR ((((((triple8) -> rule7)) -> rule5)) -> rule2))] Fiona is kind.[(triple11 OR ((triple13) -> rule6) OR ((triple8) -> rule7))] Fiona is smart.[(triple12 OR ((triple11) -> rule5) OR ((triple10 triple11) -> rule3) OR ((((triple13) -> rule6)) -> rule5) OR ((((triple8) -> rule7)) -> rule5) OR ((triple10 ((triple13) -> rule6)) -> rule3) OR ((triple10 ((triple8) -> rule7)) -> rule3))] Fiona is white.[(triple13)] Fiona is young.[(triple14 OR ((triple13) -> rule4))]