Bob is furry. Bob is red. Bob is round. Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is round. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is round. If someone is furry and nice then they are big. Furry people are kind. If someone is nice and green then they are furry. If someone is green then they are nice. If someone is furry then they are red. Green people are furry. All red people are furry. Furry people are green.
Bob is nice.
@0: Bob is furry.[(triple1 OR ((triple2) -> rule7))] Bob is red.[(triple2 OR ((triple1) -> rule5))] Bob is round.[(triple3)] Fiona is big.[(triple4 OR ((triple5 ((triple6) -> rule4)) -> rule1) OR ((((triple6) -> rule6) ((triple6) -> rule4)) -> rule1) OR ((((triple8) -> rule7) ((triple6) -> rule4)) -> rule1) OR ((triple5 ((((triple5) -> rule8)) -> rule4)) -> rule1) OR ((((triple6) -> rule6) ((((triple5) -> rule8)) -> rule4)) -> rule1) OR ((((triple8) -> rule7) ((((triple5) -> rule8)) -> rule4)) -> rule1) OR ((((((triple6) -> rule4) triple6) -> rule3) ((triple6) -> rule4)) -> rule1) OR ((((((triple6) -> rule4) triple6) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule1) OR ((triple5 ((((((triple8) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple6) -> rule6) ((((((triple8) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple8) -> rule7) ((((((triple8) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((((triple6) -> rule4) triple6) -> rule3) ((((((triple8) -> rule7)) -> rule8)) -> rule4)) -> rule1))] Fiona is furry.[(triple5 OR ((triple6) -> rule6) OR ((triple8) -> rule7) OR ((((triple6) -> rule4) triple6) -> rule3))] Fiona is green.[(triple6 OR ((triple5) -> rule8) OR ((((triple8) -> rule7)) -> rule8))] Fiona is kind.[(triple7 OR ((triple5) -> rule2) OR ((((triple6) -> rule6)) -> rule2) OR ((((triple8) -> rule7)) -> rule2) OR ((((((triple6) -> rule4) triple6) -> rule3)) -> rule2))] Fiona is red.[(triple8 OR ((triple5) -> rule5) OR ((((triple6) -> rule6)) -> rule5) OR ((((((triple6) -> rule4) triple6) -> rule3)) -> rule5))] Fiona is round.[(triple9)] Gary is furry.[(triple10 OR ((triple11) -> rule6) OR ((triple14) -> rule7) OR ((triple13 triple11) -> rule3) OR ((((triple11) -> rule4) triple11) -> rule3))] Gary is green.[(triple11 OR ((triple10) -> rule8) OR ((((triple14) -> rule7)) -> rule8))] Gary is kind.[(triple12 OR ((triple10) -> rule2) OR ((((triple11) -> rule6)) -> rule2) OR ((((triple14) -> rule7)) -> rule2) OR ((((triple13 triple11) -> rule3)) -> rule2) OR ((((((triple11) -> rule4) triple11) -> rule3)) -> rule2))] Gary is nice.[(triple13 OR ((triple11) -> rule4) OR ((((triple10) -> rule8)) -> rule4) OR ((((((triple14) -> rule7)) -> rule8)) -> rule4))] Gary is red.[(triple14 OR ((triple10) -> rule5) OR ((((triple11) -> rule6)) -> rule5) OR ((((triple13 triple11) -> rule3)) -> rule5) OR ((((((triple11) -> rule4) triple11) -> rule3)) -> rule5))] Gary is round.[(triple15)] @1: Bob is green.[(((triple1) -> rule8) OR ((((triple2) -> rule7)) -> rule8))] Bob is kind.[(((triple1) -> rule2) OR ((((triple2) -> rule7)) -> rule2))] Fiona is nice.[(((triple6) -> rule4) OR ((((triple5) -> rule8)) -> rule4) OR ((((((triple8) -> rule7)) -> rule8)) -> rule4))] Gary is big.[(((triple10 triple13) -> rule1) OR ((triple10 ((triple11) -> rule4)) -> rule1) OR ((((triple11) -> rule6) triple13) -> rule1) OR ((((triple14) -> rule7) triple13) -> rule1) OR ((((triple13 triple11) -> rule3) triple13) -> rule1) OR ((((triple11) -> rule6) ((triple11) -> rule4)) -> rule1) OR ((((triple14) -> rule7) ((triple11) -> rule4)) -> rule1) OR ((((triple13 triple11) -> rule3) ((triple11) -> rule4)) -> rule1) OR ((triple10 ((((triple10) -> rule8)) -> rule4)) -> rule1) OR ((((((triple11) -> rule4) triple11) -> rule3) triple13) -> rule1) OR ((((triple11) -> rule6) ((((triple10) -> rule8)) -> rule4)) -> rule1) OR ((((triple14) -> rule7) ((((triple10) -> rule8)) -> rule4)) -> rule1) OR ((((triple13 triple11) -> rule3) ((((triple10) -> rule8)) -> rule4)) -> rule1) OR ((((((triple11) -> rule4) triple11) -> rule3) ((triple11) -> rule4)) -> rule1) OR ((((((triple11) -> rule4) triple11) -> rule3) ((((triple10) -> rule8)) -> rule4)) -> rule1) OR ((triple10 ((((((triple14) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple11) -> rule6) ((((((triple14) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple14) -> rule7) ((((((triple14) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple13 triple11) -> rule3) ((((((triple14) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((((triple11) -> rule4) triple11) -> rule3) ((((((triple14) -> rule7)) -> rule8)) -> rule4)) -> rule1))] @2: Bob is nice.[(((((triple1) -> rule8)) -> rule4) OR ((((((triple2) -> rule7)) -> rule8)) -> rule4))] @3: Bob is big.[(((triple1 ((((triple1) -> rule8)) -> rule4)) -> rule1) OR ((((triple2) -> rule7) ((((triple1) -> rule8)) -> rule4)) -> rule1) OR ((triple1 ((((((triple2) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple2) -> rule7) ((((((triple2) -> rule7)) -> rule8)) -> rule4)) -> rule1))]