Anne is blue. Anne is furry. Anne is kind. Anne is nice. Anne is red. Bob is furry. Bob is kind. Bob is nice. Bob is red. Erin is white. Gary is kind. All white, furry things are red. Kind, nice things are big. Big, nice things are furry. All kind things are white. If Gary is blue and Gary is white then Gary is red. All nice, kind things are white. If something is white then it is nice. If Bob is white then Bob is nice. If something is furry and blue then it is red.
Erin is blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((((triple3 triple4) -> rule2) triple4) -> rule3) OR ((((triple3 triple4) -> rule2) ((((triple3) -> rule4)) -> rule7)) -> rule3) OR ((((triple3 ((((triple3) -> rule4)) -> rule7)) -> rule2) triple4) -> rule3) OR ((((triple3 ((((triple3) -> rule4)) -> rule7)) -> rule2) ((((triple3) -> rule4)) -> rule7)) -> rule3))] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((((triple3) -> rule4)) -> rule7))] Anne is red.[(triple5 OR ((triple2 triple1) -> rule9) OR ((((triple3) -> rule4) triple2) -> rule1) OR ((((triple4 triple3) -> rule6) triple2) -> rule1) OR ((((((triple3 triple4) -> rule2) triple4) -> rule3) triple1) -> rule9) OR ((((triple3) -> rule4) ((((triple3 triple4) -> rule2) triple4) -> rule3)) -> rule1) OR ((((triple4 triple3) -> rule6) ((((triple3 triple4) -> rule2) triple4) -> rule3)) -> rule1) OR ((((((triple3 triple4) -> rule2) ((((triple3) -> rule4)) -> rule7)) -> rule3) triple1) -> rule9) OR ((((triple3) -> rule4) ((((triple3 triple4) -> rule2) ((((triple3) -> rule4)) -> rule7)) -> rule3)) -> rule1) OR ((((triple4 triple3) -> rule6) ((((triple3 triple4) -> rule2) ((((triple3) -> rule4)) -> rule7)) -> rule3)) -> rule1) OR ((((((triple3 ((((triple3) -> rule4)) -> rule7)) -> rule2) triple4) -> rule3) triple1) -> rule9) OR ((((triple3) -> rule4) ((((triple3 ((((triple3) -> rule4)) -> rule7)) -> rule2) triple4) -> rule3)) -> rule1) OR ((((triple4 triple3) -> rule6) ((((triple3 ((((triple3) -> rule4)) -> rule7)) -> rule2) triple4) -> rule3)) -> rule1) OR ((((((triple3 ((((triple3) -> rule4)) -> rule7)) -> rule2) ((((triple3) -> rule4)) -> rule7)) -> rule3) triple1) -> rule9) OR ((((triple3) -> rule4) ((((triple3 ((((triple3) -> rule4)) -> rule7)) -> rule2) ((((triple3) -> rule4)) -> rule7)) -> rule3)) -> rule1) OR ((((triple4 triple3) -> rule6) ((((triple3 ((((triple3) -> rule4)) -> rule7)) -> rule2) ((((triple3) -> rule4)) -> rule7)) -> rule3)) -> rule1))] Bob is furry.[(triple6 OR ((((triple7 triple8) -> rule2) triple8) -> rule3) OR ((((triple7 triple8) -> rule2) ((((triple7) -> rule4)) -> rule7)) -> rule3) OR ((((triple7 triple8) -> rule2) ((((triple7) -> rule4)) -> rule8)) -> rule3) OR ((((triple7 ((((triple7) -> rule4)) -> rule7)) -> rule2) triple8) -> rule3) OR ((((triple7 ((((triple7) -> rule4)) -> rule8)) -> rule2) triple8) -> rule3) OR ((((triple7 ((((triple7) -> rule4)) -> rule7)) -> rule2) ((((triple7) -> rule4)) -> rule7)) -> rule3) OR ((((triple7 ((((triple7) -> rule4)) -> rule7)) -> rule2) ((((triple7) -> rule4)) -> rule8)) -> rule3) OR ((((triple7 ((((triple7) -> rule4)) -> rule8)) -> rule2) ((((triple7) -> rule4)) -> rule7)) -> rule3) OR ((((triple7 ((((triple7) -> rule4)) -> rule8)) -> rule2) ((((triple7) -> rule4)) -> rule8)) -> rule3))] Bob is kind.[(triple7)] Bob is nice.[(triple8 OR ((((triple7) -> rule4)) -> rule7) OR ((((triple7) -> rule4)) -> rule8))] Bob is red.[(triple9 OR ((((triple7) -> rule4) triple6) -> rule1) OR ((((triple8 triple7) -> rule6) triple6) -> rule1) OR ((((triple7) -> rule4) ((((triple7 triple8) -> rule2) triple8) -> rule3)) -> rule1) OR ((((triple8 triple7) -> rule6) ((((triple7 triple8) -> rule2) triple8) -> rule3)) -> rule1) OR ((((triple7) -> rule4) ((((triple7 triple8) -> rule2) ((((triple7) -> rule4)) -> rule7)) -> rule3)) -> rule1) OR ((((triple7) -> rule4) ((((triple7 triple8) -> rule2) ((((triple7) -> rule4)) -> rule8)) -> rule3)) -> rule1) OR ((((triple8 triple7) -> rule6) ((((triple7 triple8) -> rule2) ((((triple7) -> rule4)) -> rule7)) -> rule3)) -> rule1) OR ((((triple8 triple7) -> rule6) ((((triple7 triple8) -> rule2) ((((triple7) -> rule4)) -> rule8)) -> rule3)) -> rule1) OR ((((triple7) -> rule4) ((((triple7 ((((triple7) -> rule4)) -> rule7)) -> rule2) triple8) -> rule3)) -> rule1) OR ((((triple7) -> rule4) ((((triple7 ((((triple7) -> rule4)) -> rule8)) -> rule2) triple8) -> rule3)) -> rule1) OR ((((triple8 triple7) -> rule6) ((((triple7 ((((triple7) -> rule4)) -> rule7)) -> rule2) triple8) -> rule3)) -> rule1) OR ((((triple8 triple7) -> rule6) ((((triple7 ((((triple7) -> rule4)) -> rule8)) -> rule2) triple8) -> rule3)) -> rule1) OR ((((triple7) -> rule4) ((((triple7 ((((triple7) -> rule4)) -> rule7)) -> rule2) ((((triple7) -> rule4)) -> rule7)) -> rule3)) -> rule1) OR ((((triple7) -> rule4) ((((triple7 ((((triple7) -> rule4)) -> rule7)) -> rule2) ((((triple7) -> rule4)) -> rule8)) -> rule3)) -> rule1) OR ((((triple7) -> rule4) ((((triple7 ((((triple7) -> rule4)) -> rule8)) -> rule2) ((((triple7) -> rule4)) -> rule7)) -> rule3)) -> rule1) OR ((((triple7) -> rule4) ((((triple7 ((((triple7) -> rule4)) -> rule8)) -> rule2) ((((triple7) -> rule4)) -> rule8)) -> rule3)) -> rule1) OR ((((triple8 triple7) -> rule6) ((((triple7 ((((triple7) -> rule4)) -> rule7)) -> rule2) ((((triple7) -> rule4)) -> rule7)) -> rule3)) -> rule1) OR ((((triple8 triple7) -> rule6) ((((triple7 ((((triple7) -> rule4)) -> rule7)) -> rule2) ((((triple7) -> rule4)) -> rule8)) -> rule3)) -> rule1) OR ((((triple8 triple7) -> rule6) ((((triple7 ((((triple7) -> rule4)) -> rule8)) -> rule2) ((((triple7) -> rule4)) -> rule7)) -> rule3)) -> rule1) OR ((((triple8 triple7) -> rule6) ((((triple7 ((((triple7) -> rule4)) -> rule8)) -> rule2) ((((triple7) -> rule4)) -> rule8)) -> rule3)) -> rule1))] Erin is white.[(triple10)] Gary is kind.[(triple11)] @1: Anne is big.[(((triple3 triple4) -> rule2) OR ((triple3 ((((triple3) -> rule4)) -> rule7)) -> rule2))] Anne is white.[(((triple3) -> rule4) OR ((triple4 triple3) -> rule6))] Bob is big.[(((triple7 triple8) -> rule2) OR ((triple7 ((((triple7) -> rule4)) -> rule7)) -> rule2) OR ((triple7 ((((triple7) -> rule4)) -> rule8)) -> rule2))] Bob is white.[(((triple7) -> rule4) OR ((triple8 triple7) -> rule6))] Erin is nice.[(((triple10) -> rule7))] Gary is white.[(((triple11) -> rule4))] @2: Gary is nice.[(((((triple11) -> rule4)) -> rule7))] @3: Gary is big.[(((triple11 ((((triple11) -> rule4)) -> rule7)) -> rule2))] @4: Gary is furry.[(((((triple11 ((((triple11) -> rule4)) -> rule7)) -> rule2) ((((triple11) -> rule4)) -> rule7)) -> rule3))] @5: Gary is red.[(((((triple11) -> rule4) ((((triple11 ((((triple11) -> rule4)) -> rule7)) -> rule2) ((((triple11) -> rule4)) -> rule7)) -> rule3)) -> rule1))]