Bob is big. Bob is blue. Bob is green. Bob is smart. Erin is big. Erin is blue. Erin is nice. Erin is smart. Fiona is kind. Fiona is smart. If Bob is green then Bob is nice. If someone is big and green then they are nice. Red people are nice. Big, green people are blue. If someone is nice then they are blue. If someone is big then they are red. If Bob is blue and Bob is red then Bob is kind. If Fiona is blue and Fiona is nice then Fiona is kind.
Erin is green.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple1 triple3) -> rule4) OR ((((triple3) -> rule1)) -> rule5) OR ((((triple1 triple3) -> rule2)) -> rule5) OR ((((((triple1) -> rule6)) -> rule3)) -> rule5))] Bob is green.[(triple3)] Bob is smart.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6 OR ((triple7) -> rule5) OR ((((((triple5) -> rule6)) -> rule3)) -> rule5))] Erin is nice.[(triple7 OR ((((triple5) -> rule6)) -> rule3))] Erin is smart.[(triple8)] Fiona is kind.[(triple9)] Fiona is smart.[(triple10)] @1: Bob is nice.[(((triple3) -> rule1) OR ((triple1 triple3) -> rule2) OR ((((triple1) -> rule6)) -> rule3))] Bob is red.[(((triple1) -> rule6))] Erin is red.[(((triple5) -> rule6))] @2: Bob is kind.[(((triple2 ((triple1) -> rule6)) -> rule7) OR ((((triple1 triple3) -> rule4) ((triple1) -> rule6)) -> rule7) OR ((((((triple3) -> rule1)) -> rule5) ((triple1) -> rule6)) -> rule7) OR ((((((triple1 triple3) -> rule2)) -> rule5) ((triple1) -> rule6)) -> rule7) OR ((((((((triple1) -> rule6)) -> rule3)) -> rule5) ((triple1) -> rule6)) -> rule7))]