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