Bob is furry. Bob is green. Bob is quiet. Bob is round. Bob is young. Erin is green. Erin is round. Young, quiet things are blue. If something is furry then it is kind. If Erin is young and Erin is quiet then Erin is kind. All blue things are green. Green, young things are furry. If something is round and kind then it is green.
Erin is not kind.
@0: Bob is furry.[(triple1 OR ((triple2 triple5) -> rule5) OR ((((((triple5 triple3) -> rule1)) -> rule4) triple5) -> rule5))] Bob is green.[(triple2 OR ((((triple5 triple3) -> rule1)) -> rule4) OR ((triple4 ((triple1) -> rule2)) -> rule6))] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Bob is young.[(triple5)] Erin is green.[(triple6)] Erin is round.[(triple7)] @1: Bob is blue.[(((triple5 triple3) -> rule1))] Bob is kind.[(((triple1) -> rule2) OR ((((triple2 triple5) -> rule5)) -> rule2) OR ((((((((triple5 triple3) -> rule1)) -> rule4) triple5) -> rule5)) -> rule2))]