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