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