Bob is kind. Bob is young. Charlie is not green. Charlie is kind. Charlie is young. Erin is young. Fiona is blue. Fiona is kind. Fiona is red. Fiona is white. Fiona is young. White people are green. All quiet, red people are blue. If someone is white and young then they are quiet. If someone is red then they are quiet. If Bob is blue then Bob is white. White people are young. If someone is kind then they are red.
Bob is blue.
@0: Bob is kind.[(triple1)] Bob is young.[(triple2 OR ((((((((((triple1) -> rule7)) -> rule4) ((triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6))] Charlie is kind.[(triple4)] Charlie is not green.[(triple3)] Charlie is young.[(triple5)] Erin is young.[(triple6)] Fiona is blue.[(triple7 OR ((((triple9) -> rule4) triple9) -> rule2) OR ((((triple10 triple11) -> rule3) triple9) -> rule2) OR ((((triple9) -> rule4) ((triple8) -> rule7)) -> rule2) OR ((((triple10 triple11) -> rule3) ((triple8) -> rule7)) -> rule2) OR ((((((triple8) -> rule7)) -> rule4) triple9) -> rule2) OR ((((triple10 ((triple10) -> rule6)) -> rule3) triple9) -> rule2) OR ((((((triple8) -> rule7)) -> rule4) ((triple8) -> rule7)) -> rule2) OR ((((triple10 ((triple10) -> rule6)) -> rule3) ((triple8) -> rule7)) -> rule2))] Fiona is kind.[(triple8)] Fiona is red.[(triple9 OR ((triple8) -> rule7))] Fiona is white.[(triple10)] Fiona is young.[(triple11 OR ((triple10) -> rule6))] @1: Bob is red.[(((triple1) -> rule7))] Charlie is red.[(((triple4) -> rule7))] Fiona is green.[(((triple10) -> rule1))] Fiona is quiet.[(((triple9) -> rule4) OR ((triple10 triple11) -> rule3) OR ((((triple8) -> rule7)) -> rule4) OR ((triple10 ((triple10) -> rule6)) -> rule3))] @2: Bob is quiet.[(((((triple1) -> rule7)) -> rule4))] Charlie is quiet.[(((((triple4) -> rule7)) -> rule4))] @3: Bob is blue.[(((((((triple1) -> rule7)) -> rule4) ((triple1) -> rule7)) -> rule2))] Charlie is blue.[(((((((triple4) -> rule7)) -> rule4) ((triple4) -> rule7)) -> rule2))] @4: Bob is white.[(((((((((triple1) -> rule7)) -> rule4) ((triple1) -> rule7)) -> rule2)) -> rule5))] @5: Bob is green.[(((((((((((triple1) -> rule7)) -> rule4) ((triple1) -> rule7)) -> rule2)) -> rule5)) -> rule1))]