Bob is quiet. Dave is green. Dave is kind. Dave is round. Erin is blue. Erin is green. Erin is kind. Erin is nice. Erin is smart. Gary is blue. Gary is not nice. Gary is smart. If Erin is round then Erin is quiet. If Bob is nice then Bob is smart. All nice people are round. Smart, green people are kind. Green people are kind. If someone is kind and not quiet then they are not green. If someone is kind and not round then they are green. If someone is quiet and blue then they are green.
Erin is nice.
@0: Bob is quiet.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3 OR ((triple2) -> rule5))] Dave is round.[(triple4)] Erin is blue.[(triple5)] Erin is green.[(triple6 OR ((((((triple8) -> rule3)) -> rule1) triple5) -> rule8))] Erin is kind.[(triple7 OR ((triple6) -> rule5) OR ((triple9 triple6) -> rule4) OR ((((((((triple8) -> rule3)) -> rule1) triple5) -> rule8)) -> rule5) OR ((triple9 ((((((triple8) -> rule3)) -> rule1) triple5) -> rule8)) -> rule4))] Erin is nice.[(triple8)] Erin is smart.[(triple9)] Gary is blue.[(triple10)] Gary is not nice.[(triple11)] Gary is smart.[(triple12)] @1: Erin is round.[(((triple8) -> rule3))] @2: Erin is quiet.[(((((triple8) -> rule3)) -> rule1))]