Bob is blue. Bob is young. Dave is blue. Dave is kind. Dave is nice. Dave is young. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is young. Gary is nice. Gary is quiet. Gary is young. If someone is red then they are kind. If Bob is cold and Bob is kind then Bob is quiet. All blue, cold people are quiet. If someone is kind and nice then they are blue. Nice, cold people are red. If Bob is cold and Bob is kind then Bob is nice.
Fiona is not nice.
@0: Bob is blue.[(triple1)] Bob is young.[(triple2)] Dave is blue.[(triple3 OR ((triple4 triple5) -> rule4))] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is young.[(triple6)] Fiona is blue.[(triple7 OR ((triple9 triple10) -> rule4) OR ((((triple12) -> rule1) triple10) -> rule4) OR ((((((triple10 triple8) -> rule5)) -> rule1) triple10) -> rule4))] Fiona is cold.[(triple8)] Fiona is kind.[(triple9 OR ((triple12) -> rule1) OR ((((triple10 triple8) -> rule5)) -> rule1))] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11 OR ((triple7 triple8) -> rule3) OR ((((triple9 triple10) -> rule4) triple8) -> rule3) OR ((((((triple12) -> rule1) triple10) -> rule4) triple8) -> rule3) OR ((((((((triple10 triple8) -> rule5)) -> rule1) triple10) -> rule4) triple8) -> rule3))] Fiona is red.[(triple12 OR ((triple10 triple8) -> rule5))] Fiona is young.[(triple13)] Gary is nice.[(triple14)] Gary is quiet.[(triple15)] Gary is young.[(triple16)]