Anne is nice. Anne is red. Bob is smart. Bob is young. Erin is red. Erin is round. Fiona is kind. Fiona is nice. Fiona is red. Fiona is smart. If something is round then it is nice. Nice things are round. If Bob is kind then Bob is furry. All smart, kind things are nice. All kind, young things are round. If something is young and smart then it is round. Red things are kind. If Anne is furry then Anne is red. If something is nice then it is red.
Bob is red.
@0: Anne is nice.[(triple1)] Anne is red.[(triple2 OR ((triple1) -> rule9))] Bob is smart.[(triple3)] Bob is young.[(triple4)] Erin is red.[(triple5 OR ((((triple6) -> rule1)) -> rule9))] Erin is round.[(triple6)] Fiona is kind.[(triple7 OR ((triple9) -> rule7) OR ((((triple8) -> rule9)) -> rule7))] Fiona is nice.[(triple8 OR ((triple10 triple7) -> rule4) OR ((triple10 ((triple9) -> rule7)) -> rule4))] Fiona is red.[(triple9 OR ((triple8) -> rule9) OR ((((triple10 triple7) -> rule4)) -> rule9))] Fiona is smart.[(triple10)] @1: Anne is kind.[(((triple2) -> rule7) OR ((((triple1) -> rule9)) -> rule7))] Anne is round.[(((triple1) -> rule2))] Bob is round.[(((triple4 triple3) -> rule6))] Erin is kind.[(((triple5) -> rule7) OR ((((((triple6) -> rule1)) -> rule9)) -> rule7))] Erin is nice.[(((triple6) -> rule1))] Fiona is round.[(((triple8) -> rule2) OR ((((triple10 triple7) -> rule4)) -> rule2) OR ((((triple10 ((triple9) -> rule7)) -> rule4)) -> rule2))] @2: Bob is nice.[(((((triple4 triple3) -> rule6)) -> rule1))] @3: Bob is red.[(((((((triple4 triple3) -> rule6)) -> rule1)) -> rule9))] @4: Bob is kind.[(((((((((triple4 triple3) -> rule6)) -> rule1)) -> rule9)) -> rule7))] @5: Bob is furry.[(((((((((((triple4 triple3) -> rule6)) -> rule1)) -> rule9)) -> rule7)) -> rule3))]