Dave is blue. Dave is kind. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is young. Fiona is red. Fiona is rough. Fiona is young. Harry is blue. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is young. All kind people are red. If Harry is rough and Harry is kind then Harry is young. If someone is blue and kind then they are round. If Fiona is young then Fiona is red. If someone is blue and red then they are young. All rough people are red.
Fiona is not round.
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2)] Dave is red.[(triple3 OR ((triple2) -> rule1) OR ((triple4) -> rule6))] Dave is rough.[(triple4)] Dave is round.[(triple5 OR ((triple1 triple2) -> rule3))] Dave is smart.[(triple6)] Dave is young.[(triple7 OR ((triple1 triple3) -> rule5) OR ((triple1 ((triple2) -> rule1)) -> rule5) OR ((triple1 ((triple4) -> rule6)) -> rule5))] Fiona is red.[(triple8 OR ((triple10) -> rule4) OR ((triple9) -> rule6))] Fiona is rough.[(triple9)] Fiona is young.[(triple10)] Harry is blue.[(triple11)] Harry is red.[(triple12 OR ((triple13) -> rule6))] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16 OR ((triple11 triple12) -> rule5) OR ((triple11 ((triple13) -> rule6)) -> rule5))]