Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is red. Dave is smart. Dave is white. Fiona is big. Fiona is blue. Fiona is furry. Fiona is not green. Fiona is red. Fiona is smart. Fiona is white. Furry people are red. If someone is smart then they are red. If someone is blue then they are furry. Big, smart people are furry. If Fiona is green and Fiona is smart then Fiona is not big. If someone is green then they are big. If Dave is red then Dave is furry. If someone is furry and not smart then they are not blue.
Fiona is not big.
@0: Dave is big.[(triple1 OR ((triple4) -> rule6))] Dave is blue.[(triple2)] Dave is furry.[(triple3 OR ((triple2) -> rule3) OR ((triple5) -> rule7) OR ((triple1 triple6) -> rule4) OR ((((triple6) -> rule2)) -> rule7) OR ((((triple4) -> rule6) triple6) -> rule4))] Dave is green.[(triple4)] Dave is red.[(triple5 OR ((triple3) -> rule1) OR ((triple6) -> rule2) OR ((((triple2) -> rule3)) -> rule1) OR ((((triple1 triple6) -> rule4)) -> rule1) OR ((((((triple4) -> rule6) triple6) -> rule4)) -> rule1))] Dave is smart.[(triple6)] Dave is white.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is furry.[(triple10 OR ((triple9) -> rule3) OR ((triple8 triple13) -> rule4))] Fiona is not green.[(triple11)] Fiona is red.[(triple12 OR ((triple10) -> rule1) OR ((triple13) -> rule2) OR ((((triple9) -> rule3)) -> rule1) OR ((((triple8 triple13) -> rule4)) -> rule1))] Fiona is smart.[(triple13)] Fiona is white.[(triple14)]