Anne is red. Anne is white. Bob is furry. Bob is red. Fiona is big. Fiona is furry. Fiona is green. Gary is cold. Gary is furry. Gary is green. Green, furry people are nice. All green, nice people are big. Big, green people are furry. All furry people are nice. All big, green people are furry. Big, red people are cold. If someone is nice and red then they are green. Big, cold people are white. If someone is green and cold then they are big.
Anne is big.
@0: Anne is red.[(triple1)] Anne is white.[(triple2)] Bob is furry.[(triple3)] Bob is red.[(triple4)] Fiona is big.[(triple5 OR ((triple7 ((triple6) -> rule4)) -> rule2) OR ((triple7 ((triple7 triple6) -> rule1)) -> rule2))] Fiona is furry.[(triple6 OR ((triple5 triple7) -> rule3) OR ((triple5 triple7) -> rule5))] Fiona is green.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9 OR ((((triple10 triple8) -> rule9) triple10) -> rule3) OR ((((triple10 triple8) -> rule9) triple10) -> rule5))] Gary is green.[(triple10)] @1: Bob is nice.[(((triple3) -> rule4))] Fiona is nice.[(((triple6) -> rule4) OR ((triple7 triple6) -> rule1) OR ((((triple5 triple7) -> rule3)) -> rule4) OR ((((triple5 triple7) -> rule5)) -> rule4) OR ((triple7 ((triple5 triple7) -> rule3)) -> rule1) OR ((triple7 ((triple5 triple7) -> rule5)) -> rule1))] Gary is big.[(((triple10 triple8) -> rule9) OR ((triple10 ((triple9) -> rule4)) -> rule2) OR ((triple10 ((triple10 triple9) -> rule1)) -> rule2))] Gary is nice.[(((triple9) -> rule4) OR ((triple10 triple9) -> rule1) OR ((((((triple10 triple8) -> rule9) triple10) -> rule3)) -> rule4) OR ((((((triple10 triple8) -> rule9) triple10) -> rule5)) -> rule4) OR ((triple10 ((((triple10 triple8) -> rule9) triple10) -> rule3)) -> rule1) OR ((triple10 ((((triple10 triple8) -> rule9) triple10) -> rule5)) -> rule1))] @2: Bob is green.[(((((triple3) -> rule4) triple4) -> rule7))] Gary is white.[(((((triple10 triple8) -> rule9) triple8) -> rule8) OR ((((triple10 ((triple9) -> rule4)) -> rule2) triple8) -> rule8) OR ((((triple10 ((triple10 triple9) -> rule1)) -> rule2) triple8) -> rule8))] @3: Bob is big.[(((((((triple3) -> rule4) triple4) -> rule7) ((triple3) -> rule4)) -> rule2))] @4: Bob is cold.[(((((((((triple3) -> rule4) triple4) -> rule7) ((triple3) -> rule4)) -> rule2) triple4) -> rule6))] @5: Bob is white.[(((((((((triple3) -> rule4) triple4) -> rule7) ((triple3) -> rule4)) -> rule2) ((((((((triple3) -> rule4) triple4) -> rule7) ((triple3) -> rule4)) -> rule2) triple4) -> rule6)) -> rule8))]