Bob is blue. Bob is furry. Bob is red. Erin is furry. Erin is red. Erin is round. Fiona is furry. Fiona is green. Fiona is kind. Fiona is smart. All blue things are smart. If something is furry and kind then it is round. All round things are kind. If something is blue and smart then it is kind. If Fiona is round and Fiona is kind then Fiona is green. All blue, smart things are kind. If Erin is blue and Erin is kind then Erin is green. Furry, smart things are green.
Bob is not blue.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is red.[(triple3)] Erin is furry.[(triple4)] Erin is red.[(triple5)] Erin is round.[(triple6)] Fiona is furry.[(triple7)] Fiona is green.[(triple8 OR ((triple7 triple10) -> rule8) OR ((((triple7 triple9) -> rule2) triple9) -> rule5))] Fiona is kind.[(triple9)] Fiona is smart.[(triple10)] @1: Bob is smart.[(((triple1) -> rule1))] Erin is kind.[(((triple6) -> rule3))] Fiona is round.[(((triple7 triple9) -> rule2))] @2: Bob is green.[(((triple2 ((triple1) -> rule1)) -> rule8))] Bob is kind.[(((triple1 ((triple1) -> rule1)) -> rule4) OR ((triple1 ((triple1) -> rule1)) -> rule6))] @3: Bob is round.[(((triple2 ((triple1 ((triple1) -> rule1)) -> rule4)) -> rule2) OR ((triple2 ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule2))]