Bob is blue. Bob is kind. Bob is round. Bob is not smart. Bob is young. Erin is blue. Erin is kind. Erin is quiet. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is not smart. Fiona is young. Gary is kind. Gary is nice. Gary is round. Young people are quiet. If Erin is young and Erin is blue then Erin is quiet. If Bob is kind and Bob is young then Bob is quiet. All quiet people are not smart. Round people are nice. Young, kind people are blue.
Fiona is kind.
@0: Bob is blue.[(triple1 OR ((triple5 triple2) -> rule6))] Bob is kind.[(triple2)] Bob is not smart.[(triple4 OR ((((triple5) -> rule1)) -> rule4) OR ((((triple2 triple5) -> rule3)) -> rule4))] Bob is round.[(triple3)] Bob is young.[(triple5)] Erin is blue.[(triple6)] Erin is kind.[(triple7)] Erin is quiet.[(triple8)] Fiona is blue.[(triple9 OR ((triple13 triple10) -> rule6))] Fiona is kind.[(triple10)] Fiona is nice.[(triple11)] Fiona is not smart.[(triple12 OR ((((triple13) -> rule1)) -> rule4))] Fiona is young.[(triple13)] Gary is kind.[(triple14)] Gary is nice.[(triple15 OR ((triple16) -> rule5))] Gary is round.[(triple16)] @1: Bob is nice.[(((triple3) -> rule5))] Bob is quiet.[(((triple5) -> rule1) OR ((triple2 triple5) -> rule3))] Erin is not smart.[(((triple8) -> rule4))] Fiona is quiet.[(((triple13) -> rule1))]