Bob is blue. Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Charlie is furry. Charlie is red. Erin is blue. Erin is furry. Erin is quiet. Erin is red. Erin is smart. Harry is nice. Harry is smart. If someone is furry and quiet then they are smart. If someone is furry then they are smart. Smart, quiet people are furry. If someone is nice then they are red. If someone is nice and quiet then they are smart. If someone is red and furry then they are young.
Harry is blue.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2 OR ((triple6 triple4) -> rule3) OR ((((triple3 triple4) -> rule5) triple4) -> rule3))] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple3) -> rule4))] Bob is smart.[(triple6 OR ((triple2) -> rule2) OR ((triple2 triple4) -> rule1) OR ((triple3 triple4) -> rule5))] Charlie is furry.[(triple7)] Charlie is red.[(triple8)] Erin is blue.[(triple9)] Erin is furry.[(triple10 OR ((triple13 triple11) -> rule3))] Erin is quiet.[(triple11)] Erin is red.[(triple12)] Erin is smart.[(triple13 OR ((triple10) -> rule2) OR ((triple10 triple11) -> rule1))] Harry is nice.[(triple14)] Harry is smart.[(triple15)] @1: Bob is young.[(((triple5 triple2) -> rule6) OR ((triple5 ((triple6 triple4) -> rule3)) -> rule6) OR ((((triple3) -> rule4) triple2) -> rule6) OR ((((triple3) -> rule4) ((triple6 triple4) -> rule3)) -> rule6) OR ((triple5 ((((triple3 triple4) -> rule5) triple4) -> rule3)) -> rule6) OR ((((triple3) -> rule4) ((((triple3 triple4) -> rule5) triple4) -> rule3)) -> rule6))] Charlie is smart.[(((triple7) -> rule2))] Charlie is young.[(((triple8 triple7) -> rule6))] Erin is young.[(((triple12 triple10) -> rule6) OR ((triple12 ((triple13 triple11) -> rule3)) -> rule6))] Harry is red.[(((triple14) -> rule4))]