Bob is blue. Bob is nice. Bob is red. Bob is smart. Bob is young. Harry is big. Harry is blue. Harry is furry. Harry is nice. Harry is red. Harry is smart. Harry is young. Big people are blue. All smart people are young. All furry, smart people are blue. All big, smart people are blue. Nice people are red. Nice, red people are furry. If Harry is furry then Harry is blue. Furry, red people are big.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
Big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
All smart people are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
All furry, smart people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
All big, smart people are blue.
((("someone" "is" "big" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
Nice people are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Nice, red people are furry.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If Harry is furry then Harry is blue.
((("Harry" "is" "furry" "+")) -> ("Harry" "is" "blue" "+"))
Furry, red people are big.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Harry is young.
True
1
proof
[(triple12 OR ((triple11) -> rule2))]
("Harry" "is" "young" "+")
triple12
((triple11) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not smart.
False
1
inv-proof
[(triple11)]
("Harry" "is" "smart" "-")
triple11
Bob is furry.
True
3
proof
[(((triple2 triple3) -> rule6) OR ((triple2 ((triple2) -> rule5)) -> rule6))]
("Bob" "is" "furry" "+")
((triple2 triple3) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple2 ((triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not furry.
False
3
inv-proof
[(((triple2 triple3) -> rule6) OR ((triple2 ((triple2) -> rule5)) -> rule6))]
("Bob" "is" "furry" "-")
((triple2 triple3) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple2 ((triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
True
5
proof
[(((((triple2 triple3) -> rule6) triple3) -> rule8) OR ((((triple2 triple3) -> rule6) ((triple2) -> rule5)) -> rule8) OR ((((triple2 ((triple2) -> rule5)) -> rule6) triple3) -> rule8) OR ((((triple2 ((triple2) -> rule5)) -> rule6) ((triple2) -> rule5)) -> rule8))]
("Bob" "is" "big" "+")
((((triple2 triple3) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2 triple3) -> (rule6 % int3)) ((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule6 % int2)) ((triple2) -> (rule5 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not big.
False
5
inv-proof
[(((((triple2 triple3) -> rule6) triple3) -> rule8) OR ((((triple2 triple3) -> rule6) ((triple2) -> rule5)) -> rule8) OR ((((triple2 ((triple2) -> rule5)) -> rule6) triple3) -> rule8) OR ((((triple2 ((triple2) -> rule5)) -> rule6) ((triple2) -> rule5)) -> rule8))]
("Bob" "is" "big" "-")
((((triple2 triple3) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2 triple3) -> (rule6 % int3)) ((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule6 % int2)) ((triple2) -> (rule5 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
@0: Bob is blue.[(triple1 OR ((((triple2 triple3) -> rule6) triple4) -> rule3) OR ((((((triple2 triple3) -> rule6) triple3) -> rule8)) -> rule1) OR ((((triple2 ((triple2) -> rule5)) -> rule6) triple4) -> rule3) OR ((((((triple2 triple3) -> rule6) triple3) -> rule8) triple4) -> rule4) OR ((((((triple2 triple3) -> rule6) ((triple2) -> rule5)) -> rule8)) -> rule1) OR ((((((triple2 triple3) -> rule6) ((triple2) -> rule5)) -> rule8) triple4) -> rule4) OR ((((((triple2 ((triple2) -> rule5)) -> rule6) triple3) -> rule8)) -> rule1) OR ((((((triple2 ((triple2) -> rule5)) -> rule6) triple3) -> rule8) triple4) -> rule4) OR ((((((triple2 ((triple2) -> rule5)) -> rule6) ((triple2) -> rule5)) -> rule8)) -> rule1) OR ((((((triple2 ((triple2) -> rule5)) -> rule6) ((triple2) -> rule5)) -> rule8) triple4) -> rule4))] Bob is nice.[(triple2)] Bob is red.[(triple3 OR ((triple2) -> rule5))] Bob is smart.[(triple4)] Bob is young.[(triple5 OR ((triple4) -> rule2))] Harry is big.[(triple6 OR ((triple8 triple10) -> rule8) OR ((triple8 ((triple9) -> rule5)) -> rule8) OR ((((triple9 triple10) -> rule6) triple10) -> rule8) OR ((((triple9 triple10) -> rule6) ((triple9) -> rule5)) -> rule8) OR ((((triple9 ((triple9) -> rule5)) -> rule6) triple10) -> rule8) OR ((((triple9 ((triple9) -> rule5)) -> rule6) ((triple9) -> rule5)) -> rule8))] Harry is blue.[(triple7 OR ((triple6) -> rule1) OR ((triple8) -> rule7) OR ((triple6 triple11) -> rule4) OR ((triple8 triple11) -> rule3) OR ((((triple8 triple10) -> rule8)) -> rule1) OR ((((triple9 triple10) -> rule6)) -> rule7) OR ((((triple8 triple10) -> rule8) triple11) -> rule4) OR ((((triple9 triple10) -> rule6) triple11) -> rule3) OR ((((triple8 ((triple9) -> rule5)) -> rule8)) -> rule1) OR ((((triple9 ((triple9) -> rule5)) -> rule6)) -> rule7) OR ((((((triple9 triple10) -> rule6) triple10) -> rule8)) -> rule1) OR ((((triple8 ((triple9) -> rule5)) -> rule8) triple11) -> rule4) OR ((((triple9 ((triple9) -> rule5)) -> rule6) triple11) -> rule3) OR ((((((triple9 triple10) -> rule6) triple10) -> rule8) triple11) -> rule4) OR ((((((triple9 triple10) -> rule6) ((triple9) -> rule5)) -> rule8)) -> rule1) OR ((((((triple9 triple10) -> rule6) ((triple9) -> rule5)) -> rule8) triple11) -> rule4) OR ((((((triple9 ((triple9) -> rule5)) -> rule6) triple10) -> rule8)) -> rule1) OR ((((((triple9 ((triple9) -> rule5)) -> rule6) triple10) -> rule8) triple11) -> rule4) OR ((((((triple9 ((triple9) -> rule5)) -> rule6) ((triple9) -> rule5)) -> rule8)) -> rule1) OR ((((((triple9 ((triple9) -> rule5)) -> rule6) ((triple9) -> rule5)) -> rule8) triple11) -> rule4))] Harry is furry.[(triple8 OR ((triple9 triple10) -> rule6) OR ((triple9 ((triple9) -> rule5)) -> rule6))] Harry is nice.[(triple9)] Harry is red.[(triple10 OR ((triple9) -> rule5))] Harry is smart.[(triple11)] Harry is young.[(triple12 OR ((triple11) -> rule2))] @1: Bob is furry.[(((triple2 triple3) -> rule6) OR ((triple2 ((triple2) -> rule5)) -> rule6))] @2: Bob is big.[(((((triple2 triple3) -> rule6) triple3) -> rule8) OR ((((triple2 triple3) -> rule6) ((triple2) -> rule5)) -> rule8) OR ((((triple2 ((triple2) -> rule5)) -> rule6) triple3) -> rule8) OR ((((triple2 ((triple2) -> rule5)) -> rule6) ((triple2) -> rule5)) -> rule8))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((((triple2 triple3) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((((triple2 triple3) -> (rule6 % int3)) triple3) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple2 triple3) -> (rule6 % int3)) triple3) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple2 triple3) -> (rule6 % int4)) ((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2 triple3) -> (rule6 % int4)) ((triple2) -> (rule5 % int3))) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2 ((triple2) -> (rule5 % int4))) -> (rule6 % int3)) triple3) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple2 ((triple2) -> (rule5 % int4))) -> (rule6 % int3)) triple3) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple2 ((triple2) -> (rule5 % int4))) -> (rule6 % int3)) ((triple2) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple2 ((triple2) -> (rule5 % int4))) -> (rule6 % int3)) ((triple2) -> (rule5 % int4))) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
((triple2) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
((triple4) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple6
((triple8 triple10) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple8 ((triple9) -> (rule5 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple9 triple10) -> (rule6 % int2)) triple10) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple9 triple10) -> (rule6 % int3)) ((triple9) -> (rule5 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple9 ((triple9) -> (rule5 % int3))) -> (rule6 % int2)) triple10) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple9 ((triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((triple9) -> (rule5 % int3))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
triple7
((triple6) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple8) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple6 triple11) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple8 triple11) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple8 triple10) -> (rule8 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple9 triple10) -> (rule6 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple8 triple10) -> (rule8 % int2)) triple11) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple9 triple10) -> (rule6 % int2)) triple11) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple8 ((triple9) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple9 ((triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple9 triple10) -> (rule6 % int3)) triple10) -> (rule8 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple8 ((triple9) -> (rule5 % int3))) -> (rule8 % int2)) triple11) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple9 ((triple9) -> (rule5 % int3))) -> (rule6 % int2)) triple11) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple9 triple10) -> (rule6 % int3)) triple10) -> (rule8 % int2)) triple11) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple9 triple10) -> (rule6 % int4)) ((triple9) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple9 triple10) -> (rule6 % int4)) ((triple9) -> (rule5 % int3))) -> (rule8 % int2)) triple11) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple9 ((triple9) -> (rule5 % int4))) -> (rule6 % int3)) triple10) -> (rule8 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple9 ((triple9) -> (rule5 % int4))) -> (rule6 % int3)) triple10) -> (rule8 % int2)) triple11) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple9 ((triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((triple9) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple9 ((triple9) -> (rule5 % int4))) -> (rule6 % int3)) ((triple9) -> (rule5 % int4))) -> (rule8 % int2)) triple11) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
triple8
((triple9 triple10) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple9 ((triple9) -> (rule5 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
((triple9) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
((triple11) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((triple2 triple3) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple2 ((triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((((triple2 triple3) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2 triple3) -> (rule6 % int3)) ((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule6 % int2)) ((triple2) -> (rule5 % int3))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3