Bob is kind. Bob is quiet. Bob is smart. Dave is red. Fiona is furry. Fiona is kind. Fiona is smart. Fiona is white. Gary is big. Gary is kind. Gary is smart. Big people are furry. All furry, white people are kind. Big people are red. All red people are big. If Gary is smart then Gary is furry. All big, kind people are smart. Furry, white people are quiet. All furry people are white. If someone is white and quiet then they are red.
Bob is big.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Dave is red.[(triple4)] Fiona is furry.[(triple5)] Fiona is kind.[(triple6 OR ((triple5 triple8) -> rule2) OR ((triple5 ((triple5) -> rule8)) -> rule2))] Fiona is smart.[(triple7 OR ((((((triple8 ((triple5 triple8) -> rule7)) -> rule9)) -> rule4) triple6) -> rule6) OR ((((((triple8 ((triple5 triple8) -> rule7)) -> rule9)) -> rule4) ((triple5 triple8) -> rule2)) -> rule6) OR ((((((((triple5) -> rule8) ((triple5 triple8) -> rule7)) -> rule9)) -> rule4) triple6) -> rule6) OR ((((((triple8 ((triple5 triple8) -> rule7)) -> rule9)) -> rule4) ((triple5 ((triple5) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple5) -> rule8) ((triple5 triple8) -> rule7)) -> rule9)) -> rule4) ((triple5 triple8) -> rule2)) -> rule6) OR ((((((((triple5) -> rule8) ((triple5 triple8) -> rule7)) -> rule9)) -> rule4) ((triple5 ((triple5) -> rule8)) -> rule2)) -> rule6) OR ((((((triple8 ((triple5 ((triple5) -> rule8)) -> rule7)) -> rule9)) -> rule4) triple6) -> rule6) OR ((((((triple8 ((triple5 ((triple5) -> rule8)) -> rule7)) -> rule9)) -> rule4) ((triple5 triple8) -> rule2)) -> rule6) OR ((((((((triple5) -> rule8) ((triple5 ((triple5) -> rule8)) -> rule7)) -> rule9)) -> rule4) triple6) -> rule6) OR ((((((triple8 ((triple5 ((triple5) -> rule8)) -> rule7)) -> rule9)) -> rule4) ((triple5 ((triple5) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple5) -> rule8) ((triple5 ((triple5) -> rule8)) -> rule7)) -> rule9)) -> rule4) ((triple5 triple8) -> rule2)) -> rule6) OR ((((((((triple5) -> rule8) ((triple5 ((triple5) -> rule8)) -> rule7)) -> rule9)) -> rule4) ((triple5 ((triple5) -> rule8)) -> rule2)) -> rule6))] Fiona is white.[(triple8 OR ((triple5) -> rule8))] Gary is big.[(triple9 OR ((((((((triple11) -> rule5)) -> rule8) ((((triple11) -> rule5) ((((triple11) -> rule5)) -> rule8)) -> rule7)) -> rule9)) -> rule4))] Gary is kind.[(triple10 OR ((((triple11) -> rule5) ((((triple11) -> rule5)) -> rule8)) -> rule2) OR ((((triple11) -> rule5) ((((triple9) -> rule1)) -> rule8)) -> rule2) OR ((((triple9) -> rule1) ((((triple11) -> rule5)) -> rule8)) -> rule2) OR ((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule8)) -> rule2))] Gary is smart.[(triple11 OR ((triple9 triple10) -> rule6) OR ((triple9 ((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule8)) -> rule2)) -> rule6))] @1: Dave is big.[(((triple4) -> rule4))] Fiona is quiet.[(((triple5 triple8) -> rule7) OR ((triple5 ((triple5) -> rule8)) -> rule7))] Gary is furry.[(((triple11) -> rule5) OR ((triple9) -> rule1) OR ((((triple9 triple10) -> rule6)) -> rule5))] Gary is red.[(((triple9) -> rule3) OR ((((((triple11) -> rule5)) -> rule8) ((((triple11) -> rule5) ((((triple11) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple11) -> rule5)) -> rule8) ((((triple11) -> rule5) ((((triple9) -> rule1)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple11) -> rule5)) -> rule8) ((((triple9) -> rule1) ((((triple11) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple11) -> rule5)) -> rule8) ((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple9) -> rule1)) -> rule8) ((((triple11) -> rule5) ((((triple11) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple9) -> rule1)) -> rule8) ((((triple11) -> rule5) ((((triple9) -> rule1)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple9) -> rule1)) -> rule8) ((((triple9) -> rule1) ((((triple11) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple9) -> rule1)) -> rule8) ((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple11) -> rule5)) -> rule8) ((((((triple9 triple10) -> rule6)) -> rule5) ((((triple11) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple11) -> rule5)) -> rule8) ((((((triple9 triple10) -> rule6)) -> rule5) ((((triple9) -> rule1)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple9) -> rule1)) -> rule8) ((((((triple9 triple10) -> rule6)) -> rule5) ((((triple11) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple9) -> rule1)) -> rule8) ((((((triple9 triple10) -> rule6)) -> rule5) ((((triple9) -> rule1)) -> rule8)) -> rule7)) -> rule9) OR ((((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8) ((((triple11) -> rule5) ((((triple11) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8) ((((triple11) -> rule5) ((((triple9) -> rule1)) -> rule8)) -> rule7)) -> rule9) OR ((((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8) ((((triple9) -> rule1) ((((triple11) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8) ((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule8)) -> rule7)) -> rule9) OR ((((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8) ((((((triple9 triple10) -> rule6)) -> rule5) ((((triple11) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8) ((((((triple9 triple10) -> rule6)) -> rule5) ((((triple9) -> rule1)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple11) -> rule5)) -> rule8) ((((triple11) -> rule5) ((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple11) -> rule5)) -> rule8) ((((triple9) -> rule1) ((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple9) -> rule1)) -> rule8) ((((triple11) -> rule5) ((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple9) -> rule1)) -> rule8) ((((triple9) -> rule1) ((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple11) -> rule5)) -> rule8) ((((((triple9 triple10) -> rule6)) -> rule5) ((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((triple9) -> rule1)) -> rule8) ((((((triple9 triple10) -> rule6)) -> rule5) ((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8) ((((triple11) -> rule5) ((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8) ((((triple9) -> rule1) ((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8)) -> rule7)) -> rule9) OR ((((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8) ((((((triple9 triple10) -> rule6)) -> rule5) ((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8)) -> rule7)) -> rule9))] @2: Dave is furry.[(((((triple4) -> rule4)) -> rule1))] Fiona is red.[(((triple8 ((triple5 triple8) -> rule7)) -> rule9) OR ((((triple5) -> rule8) ((triple5 triple8) -> rule7)) -> rule9) OR ((triple8 ((triple5 ((triple5) -> rule8)) -> rule7)) -> rule9) OR ((((triple5) -> rule8) ((triple5 ((triple5) -> rule8)) -> rule7)) -> rule9))] Gary is white.[(((((triple11) -> rule5)) -> rule8) OR ((((triple9) -> rule1)) -> rule8) OR ((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8))] @3: Dave is white.[(((((((triple4) -> rule4)) -> rule1)) -> rule8))] Fiona is big.[(((((triple8 ((triple5 triple8) -> rule7)) -> rule9)) -> rule4) OR ((((((triple5) -> rule8) ((triple5 triple8) -> rule7)) -> rule9)) -> rule4) OR ((((triple8 ((triple5 ((triple5) -> rule8)) -> rule7)) -> rule9)) -> rule4) OR ((((((triple5) -> rule8) ((triple5 ((triple5) -> rule8)) -> rule7)) -> rule9)) -> rule4))] Gary is quiet.[(((((triple11) -> rule5) ((((triple11) -> rule5)) -> rule8)) -> rule7) OR ((((triple11) -> rule5) ((((triple9) -> rule1)) -> rule8)) -> rule7) OR ((((triple9) -> rule1) ((((triple11) -> rule5)) -> rule8)) -> rule7) OR ((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule8)) -> rule7) OR ((((((triple9 triple10) -> rule6)) -> rule5) ((((triple11) -> rule5)) -> rule8)) -> rule7) OR ((((((triple9 triple10) -> rule6)) -> rule5) ((((triple9) -> rule1)) -> rule8)) -> rule7) OR ((((triple11) -> rule5) ((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8)) -> rule7) OR ((((triple9) -> rule1) ((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8)) -> rule7) OR ((((((triple9 triple10) -> rule6)) -> rule5) ((((((triple9 triple10) -> rule6)) -> rule5)) -> rule8)) -> rule7))] @4: Dave is kind.[(((((((triple4) -> rule4)) -> rule1) ((((((triple4) -> rule4)) -> rule1)) -> rule8)) -> rule2))] Dave is quiet.[(((((((triple4) -> rule4)) -> rule1) ((((((triple4) -> rule4)) -> rule1)) -> rule8)) -> rule7))] @5: Dave is smart.[(((((triple4) -> rule4) ((((((triple4) -> rule4)) -> rule1) ((((((triple4) -> rule4)) -> rule1)) -> rule8)) -> rule2)) -> rule6))]