Bob is big. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is young. Charlie is big. Charlie is furry. Charlie is smart. Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is young. Gary is quiet. If someone is green then they are furry. All green, young people are quiet. Young people are green. All quiet people are furry. If Fiona is quiet and Fiona is big then Fiona is young. If someone is furry and kind then they are green. All big, young people are kind. If Gary is green and Gary is quiet then Gary is smart.
Gary is not green.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule1) OR ((triple5) -> rule4) OR ((((triple6) -> rule3)) -> rule1) OR ((((triple3 triple6) -> rule2)) -> rule4) OR ((((((triple6) -> rule3) triple6) -> rule2)) -> rule4))] Bob is green.[(triple3 OR ((triple6) -> rule3) OR ((triple2 triple4) -> rule6) OR ((triple2 ((triple1 triple6) -> rule7)) -> rule6) OR ((((triple5) -> rule4) triple4) -> rule6) OR ((((triple5) -> rule4) ((triple1 triple6) -> rule7)) -> rule6))] Bob is kind.[(triple4 OR ((triple1 triple6) -> rule7))] Bob is quiet.[(triple5 OR ((triple3 triple6) -> rule2) OR ((((triple6) -> rule3) triple6) -> rule2) OR ((((triple2 triple4) -> rule6) triple6) -> rule2) OR ((((triple2 ((triple1 triple6) -> rule7)) -> rule6) triple6) -> rule2))] Bob is young.[(triple6)] Charlie is big.[(triple7)] Charlie is furry.[(triple8)] Charlie is smart.[(triple9)] Fiona is big.[(triple10)] Fiona is furry.[(triple11 OR ((triple12) -> rule1) OR ((triple14) -> rule4) OR ((((triple15) -> rule3)) -> rule1) OR ((((triple12 triple15) -> rule2)) -> rule4) OR ((((((triple14 triple10) -> rule5)) -> rule3)) -> rule1) OR ((((((triple15) -> rule3) triple15) -> rule2)) -> rule4))] Fiona is green.[(triple12 OR ((triple15) -> rule3) OR ((triple11 triple13) -> rule6) OR ((((triple14 triple10) -> rule5)) -> rule3) OR ((triple11 ((triple10 triple15) -> rule7)) -> rule6) OR ((((triple14) -> rule4) triple13) -> rule6) OR ((((triple14) -> rule4) ((triple10 triple15) -> rule7)) -> rule6) OR ((triple11 ((triple10 ((triple14 triple10) -> rule5)) -> rule7)) -> rule6) OR ((((triple14) -> rule4) ((triple10 ((triple14 triple10) -> rule5)) -> rule7)) -> rule6))] Fiona is kind.[(triple13 OR ((triple10 triple15) -> rule7) OR ((triple10 ((triple14 triple10) -> rule5)) -> rule7))] Fiona is quiet.[(triple14 OR ((triple12 triple15) -> rule2) OR ((((triple15) -> rule3) triple15) -> rule2) OR ((((triple11 triple13) -> rule6) triple15) -> rule2) OR ((((triple11 ((triple10 triple15) -> rule7)) -> rule6) triple15) -> rule2))] Fiona is young.[(triple15 OR ((triple14 triple10) -> rule5))] Gary is quiet.[(triple16)] @1: Gary is furry.[(((triple16) -> rule4))]