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