Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is smart. Bob is white. Dave is furry. Erin is red. Erin is white. Harry is furry. Harry is kind. Green, nice people are red. Nice, furry people are white. If someone is smart and nice then they are green. All furry, smart people are green. If someone is furry then they are nice. All white people are furry. Green, furry people are kind. Nice people are smart.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Green, nice people are red.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Nice, furry people are white.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
If someone is smart and nice then they are green.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
All furry, smart people are green.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If someone is furry then they are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
All white people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Green, furry people are kind.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
Nice people are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
Bob is smart.
True
1
proof
[(triple6 OR ((triple4) -> rule8) OR ((((triple1) -> rule5)) -> rule8) OR ((((((triple7) -> rule6)) -> rule5)) -> rule8))]
("Bob" "is" "smart" "+")
triple6
((triple4) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Harry is not kind.
False
1
inv-proof
[(triple12 OR ((((triple11 ((((triple11) -> rule5)) -> rule8)) -> rule4) triple11) -> rule7) OR ((((((((triple11) -> rule5)) -> rule8) ((triple11) -> rule5)) -> rule3) triple11) -> rule7))]
("Harry" "is" "kind" "-")
triple12
((((triple11 ((((triple11) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple11) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((((triple11) -> (rule5 % int4))) -> (rule8 % int3)) ((triple11) -> (rule5 % int4))) -> (rule3 % int2)) triple11) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Erin is furry.
True
2
proof
[(((triple10) -> rule6))]
("Erin" "is" "furry" "+")
((triple10) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple8) -> rule5))]
("Dave" "is" "nice" "-")
((triple8) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Harry is smart.
True
3
proof
[(((((triple11) -> rule5)) -> rule8))]
("Harry" "is" "smart" "+")
((((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Erin is not nice.
False
3
inv-proof
[(((((triple10) -> rule6)) -> rule5))]
("Erin" "is" "nice" "-")
((((triple10) -> (rule6 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Harry is green.
True
5
proof
[(((triple11 ((((triple11) -> rule5)) -> rule8)) -> rule4) OR ((((((triple11) -> rule5)) -> rule8) ((triple11) -> rule5)) -> rule3))]
("Harry" "is" "green" "+")
((triple11 ((((triple11) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple11) -> (rule5 % int3))) -> (rule8 % int2)) ((triple11) -> (rule5 % int3))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not green.
False
5
inv-proof
[(((triple11 ((((triple11) -> rule5)) -> rule8)) -> rule4) OR ((((((triple11) -> rule5)) -> rule8) ((triple11) -> rule5)) -> rule3))]
("Harry" "is" "green" "-")
((triple11 ((((triple11) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple11) -> (rule5 % int3))) -> (rule8 % int2)) ((triple11) -> (rule5 % int3))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Dave is red.
True
8
proof
[(((((triple8 ((((triple8) -> rule5)) -> rule8)) -> rule4) ((triple8) -> rule5)) -> rule1) OR ((((((((triple8) -> rule5)) -> rule8) ((triple8) -> rule5)) -> rule3) ((triple8) -> rule5)) -> rule1))]
("Dave" "is" "red" "+")
((((triple8 ((((triple8) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple8) -> (rule5 % int4))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple8) -> (rule5 % int4))) -> (rule8 % int3)) ((triple8) -> (rule5 % int4))) -> (rule3 % int2)) ((triple8) -> (rule5 % int4))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is not red.
False
8
inv-proof
[(((((triple8 ((((triple8) -> rule5)) -> rule8)) -> rule4) ((triple8) -> rule5)) -> rule1) OR ((((((((triple8) -> rule5)) -> rule8) ((triple8) -> rule5)) -> rule3) ((triple8) -> rule5)) -> rule1))]
("Dave" "is" "red" "-")
((((triple8 ((((triple8) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple8) -> (rule5 % int4))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple8) -> (rule5 % int4))) -> (rule8 % int3)) ((triple8) -> (rule5 % int4))) -> (rule3 % int2)) ((triple8) -> (rule5 % int4))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Erin is kind.
True
10
proof
[(((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule5)) -> rule8)) -> rule4) ((triple10) -> rule6)) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule5)) -> rule8) ((((triple10) -> rule6)) -> rule5)) -> rule3) ((triple10) -> rule6)) -> rule7))]
("Erin" "is" "kind" "+")
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple10) -> (rule6 % int5))) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule3 % int2)) ((triple10) -> (rule6 % int5))) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is not kind.
False
10
inv-proof
[(((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule5)) -> rule8)) -> rule4) ((triple10) -> rule6)) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule5)) -> rule8) ((((triple10) -> rule6)) -> rule5)) -> rule3) ((triple10) -> rule6)) -> rule7))]
("Erin" "is" "kind" "-")
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple10) -> (rule6 % int5))) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule3 % int2)) ((triple10) -> (rule6 % int5))) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
@0: Bob is furry.[(triple1 OR ((triple7) -> rule6))] Bob is green.[(triple2 OR ((triple1 triple6) -> rule4) OR ((triple6 triple4) -> rule3) OR ((triple1 ((triple4) -> rule8)) -> rule4) OR ((triple6 ((triple1) -> rule5)) -> rule3) OR ((((triple4) -> rule8) triple4) -> rule3) OR ((((triple7) -> rule6) triple6) -> rule4) OR ((((triple4) -> rule8) ((triple1) -> rule5)) -> rule3) OR ((((triple7) -> rule6) ((triple4) -> rule8)) -> rule4) OR ((triple1 ((((triple1) -> rule5)) -> rule8)) -> rule4) OR ((triple6 ((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((((triple1) -> rule5)) -> rule8) triple4) -> rule3) OR ((((triple4) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((triple7) -> rule6) ((((triple1) -> rule5)) -> rule8)) -> rule4) OR ((((((triple1) -> rule5)) -> rule8) ((triple1) -> rule5)) -> rule3) OR ((((((triple1) -> rule5)) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((triple1 ((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple7) -> rule6)) -> rule5)) -> rule8) triple4) -> rule3) OR ((((triple7) -> rule6) ((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple7) -> rule6)) -> rule5)) -> rule8) ((triple1) -> rule5)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule5)) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3))] Bob is kind.[(triple3 OR ((triple2 triple1) -> rule7) OR ((triple2 ((triple7) -> rule6)) -> rule7) OR ((((triple1 triple6) -> rule4) triple1) -> rule7) OR ((((triple6 triple4) -> rule3) triple1) -> rule7) OR ((((triple1 triple6) -> rule4) ((triple7) -> rule6)) -> rule7) OR ((((triple6 triple4) -> rule3) ((triple7) -> rule6)) -> rule7) OR ((((triple1 ((triple4) -> rule8)) -> rule4) triple1) -> rule7) OR ((((triple6 ((triple1) -> rule5)) -> rule3) triple1) -> rule7) OR ((((((triple4) -> rule8) triple4) -> rule3) triple1) -> rule7) OR ((((((triple7) -> rule6) triple6) -> rule4) triple1) -> rule7) OR ((((triple1 ((triple4) -> rule8)) -> rule4) ((triple7) -> rule6)) -> rule7) OR ((((triple6 ((triple1) -> rule5)) -> rule3) ((triple7) -> rule6)) -> rule7) OR ((((((triple4) -> rule8) triple4) -> rule3) ((triple7) -> rule6)) -> rule7) OR ((((((triple4) -> rule8) ((triple1) -> rule5)) -> rule3) triple1) -> rule7) OR ((((((triple7) -> rule6) triple6) -> rule4) ((triple7) -> rule6)) -> rule7) OR ((((((triple7) -> rule6) ((triple4) -> rule8)) -> rule4) triple1) -> rule7) OR ((((((triple4) -> rule8) ((triple1) -> rule5)) -> rule3) ((triple7) -> rule6)) -> rule7) OR ((((((triple7) -> rule6) ((triple4) -> rule8)) -> rule4) ((triple7) -> rule6)) -> rule7) OR ((((triple1 ((((triple1) -> rule5)) -> rule8)) -> rule4) triple1) -> rule7) OR ((((triple6 ((((triple7) -> rule6)) -> rule5)) -> rule3) triple1) -> rule7) OR ((((((((triple1) -> rule5)) -> rule8) triple4) -> rule3) triple1) -> rule7) OR ((((triple1 ((((triple1) -> rule5)) -> rule8)) -> rule4) ((triple7) -> rule6)) -> rule7) OR ((((triple6 ((((triple7) -> rule6)) -> rule5)) -> rule3) ((triple7) -> rule6)) -> rule7) OR ((((((triple4) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) triple1) -> rule7) OR ((((((triple7) -> rule6) ((((triple1) -> rule5)) -> rule8)) -> rule4) triple1) -> rule7) OR ((((((((triple1) -> rule5)) -> rule8) triple4) -> rule3) ((triple7) -> rule6)) -> rule7) OR ((((((((triple1) -> rule5)) -> rule8) ((triple1) -> rule5)) -> rule3) triple1) -> rule7) OR ((((((triple4) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) ((triple7) -> rule6)) -> rule7) OR ((((((triple7) -> rule6) ((((triple1) -> rule5)) -> rule8)) -> rule4) ((triple7) -> rule6)) -> rule7) OR ((((((((triple1) -> rule5)) -> rule8) ((triple1) -> rule5)) -> rule3) ((triple7) -> rule6)) -> rule7) OR ((((((((triple1) -> rule5)) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) triple1) -> rule7) OR ((((((((triple1) -> rule5)) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) ((triple7) -> rule6)) -> rule7) OR ((((triple1 ((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule4) triple1) -> rule7) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule8) triple4) -> rule3) triple1) -> rule7) OR ((((triple1 ((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule4) ((triple7) -> rule6)) -> rule7) OR ((((((triple7) -> rule6) ((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule4) triple1) -> rule7) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule8) triple4) -> rule3) ((triple7) -> rule6)) -> rule7) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule8) ((triple1) -> rule5)) -> rule3) triple1) -> rule7) OR ((((((triple7) -> rule6) ((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule4) ((triple7) -> rule6)) -> rule7) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule8) ((triple1) -> rule5)) -> rule3) ((triple7) -> rule6)) -> rule7) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) triple1) -> rule7) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) ((triple7) -> rule6)) -> rule7))] Bob is nice.[(triple4 OR ((triple1) -> rule5) OR ((((triple7) -> rule6)) -> rule5))] Bob is red.[(triple5 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple1) -> rule5)) -> rule1) OR ((((triple1 triple6) -> rule4) triple4) -> rule1) OR ((((triple6 triple4) -> rule3) triple4) -> rule1) OR ((((triple1 triple6) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((triple6 triple4) -> rule3) ((triple1) -> rule5)) -> rule1) OR ((triple2 ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((triple1 ((triple4) -> rule8)) -> rule4) triple4) -> rule1) OR ((((triple6 ((triple1) -> rule5)) -> rule3) triple4) -> rule1) OR ((((((triple4) -> rule8) triple4) -> rule3) triple4) -> rule1) OR ((((((triple7) -> rule6) triple6) -> rule4) triple4) -> rule1) OR ((((triple1 triple6) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((triple1 ((triple4) -> rule8)) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((triple6 triple4) -> rule3) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((triple6 ((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule1) OR ((((((triple4) -> rule8) triple4) -> rule3) ((triple1) -> rule5)) -> rule1) OR ((((((triple4) -> rule8) ((triple1) -> rule5)) -> rule3) triple4) -> rule1) OR ((((((triple7) -> rule6) triple6) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((triple7) -> rule6) ((triple4) -> rule8)) -> rule4) triple4) -> rule1) OR ((((triple1 ((triple4) -> rule8)) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((triple6 ((triple1) -> rule5)) -> rule3) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((triple4) -> rule8) triple4) -> rule3) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((triple4) -> rule8) ((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule1) OR ((((((triple7) -> rule6) triple6) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((triple7) -> rule6) ((triple4) -> rule8)) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((triple4) -> rule8) ((triple1) -> rule5)) -> rule3) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((triple7) -> rule6) ((triple4) -> rule8)) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((triple1 ((((triple1) -> rule5)) -> rule8)) -> rule4) triple4) -> rule1) OR ((((triple6 ((((triple7) -> rule6)) -> rule5)) -> rule3) triple4) -> rule1) OR ((((((((triple1) -> rule5)) -> rule8) triple4) -> rule3) triple4) -> rule1) OR ((((triple1 ((((triple1) -> rule5)) -> rule8)) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((triple6 ((((triple7) -> rule6)) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule1) OR ((((((triple4) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) triple4) -> rule1) OR ((((((triple7) -> rule6) ((((triple1) -> rule5)) -> rule8)) -> rule4) triple4) -> rule1) OR ((((((((triple1) -> rule5)) -> rule8) triple4) -> rule3) ((triple1) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule8) ((triple1) -> rule5)) -> rule3) triple4) -> rule1) OR ((((triple1 ((((triple1) -> rule5)) -> rule8)) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((triple6 ((((triple7) -> rule6)) -> rule5)) -> rule3) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((triple4) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule1) OR ((((((triple7) -> rule6) ((((triple1) -> rule5)) -> rule8)) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule8) triple4) -> rule3) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule8) ((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) triple4) -> rule1) OR ((((((triple4) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((triple7) -> rule6) ((((triple1) -> rule5)) -> rule8)) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule8) ((triple1) -> rule5)) -> rule3) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((triple1 ((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule4) triple4) -> rule1) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule8) triple4) -> rule3) triple4) -> rule1) OR ((((triple1 ((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((triple7) -> rule6) ((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule4) triple4) -> rule1) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule8) triple4) -> rule3) ((triple1) -> rule5)) -> rule1) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule8) ((triple1) -> rule5)) -> rule3) triple4) -> rule1) OR ((((triple1 ((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((triple7) -> rule6) ((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule4) ((triple1) -> rule5)) -> rule1) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule8) triple4) -> rule3) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule8) ((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule1) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) triple4) -> rule1) OR ((((((triple7) -> rule6) ((((((triple7) -> rule6)) -> rule5)) -> rule8)) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule8) ((triple1) -> rule5)) -> rule3) ((((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule1) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule8) ((((triple7) -> rule6)) -> rule5)) -> rule3) ((((triple7) -> rule6)) -> rule5)) -> rule1))] Bob is smart.[(triple6 OR ((triple4) -> rule8) OR ((((triple1) -> rule5)) -> rule8) OR ((((((triple7) -> rule6)) -> rule5)) -> rule8))] Bob is white.[(triple7 OR ((triple4 triple1) -> rule2) OR ((((triple1) -> rule5) triple1) -> rule2))] Dave is furry.[(triple8)] Erin is red.[(triple9 OR ((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule5)) -> rule8)) -> rule4) ((((triple10) -> rule6)) -> rule5)) -> rule1) OR ((((((((((triple10) -> rule6)) -> rule5)) -> rule8) ((((triple10) -> rule6)) -> rule5)) -> rule3) ((((triple10) -> rule6)) -> rule5)) -> rule1))] Erin is white.[(triple10)] Harry is furry.[(triple11)] Harry is kind.[(triple12 OR ((((triple11 ((((triple11) -> rule5)) -> rule8)) -> rule4) triple11) -> rule7) OR ((((((((triple11) -> rule5)) -> rule8) ((triple11) -> rule5)) -> rule3) triple11) -> rule7))] @1: Dave is nice.[(((triple8) -> rule5))] Erin is furry.[(((triple10) -> rule6))] Harry is nice.[(((triple11) -> rule5))] @2: Dave is smart.[(((((triple8) -> rule5)) -> rule8))] Dave is white.[(((((triple8) -> rule5) triple8) -> rule2))] Erin is nice.[(((((triple10) -> rule6)) -> rule5))] Harry is smart.[(((((triple11) -> rule5)) -> rule8))] Harry is white.[(((((triple11) -> rule5) triple11) -> rule2))] @3: Dave is green.[(((triple8 ((((triple8) -> rule5)) -> rule8)) -> rule4) OR ((((((triple8) -> rule5)) -> rule8) ((triple8) -> rule5)) -> rule3))] Erin is smart.[(((((((triple10) -> rule6)) -> rule5)) -> rule8))] Harry is green.[(((triple11 ((((triple11) -> rule5)) -> rule8)) -> rule4) OR ((((((triple11) -> rule5)) -> rule8) ((triple11) -> rule5)) -> rule3))] @4: Dave is kind.[(((((triple8 ((((triple8) -> rule5)) -> rule8)) -> rule4) triple8) -> rule7) OR ((((((((triple8) -> rule5)) -> rule8) ((triple8) -> rule5)) -> rule3) triple8) -> rule7))] Dave is red.[(((((triple8 ((((triple8) -> rule5)) -> rule8)) -> rule4) ((triple8) -> rule5)) -> rule1) OR ((((((((triple8) -> rule5)) -> rule8) ((triple8) -> rule5)) -> rule3) ((triple8) -> rule5)) -> rule1))] Erin is green.[(((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple10) -> rule6)) -> rule5)) -> rule8) ((((triple10) -> rule6)) -> rule5)) -> rule3))] Harry is red.[(((((triple11 ((((triple11) -> rule5)) -> rule8)) -> rule4) ((triple11) -> rule5)) -> rule1) OR ((((((((triple11) -> rule5)) -> rule8) ((triple11) -> rule5)) -> rule3) ((triple11) -> rule5)) -> rule1))] @5: Erin is kind.[(((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule5)) -> rule8)) -> rule4) ((triple10) -> rule6)) -> rule7) OR ((((((((((triple10) -> rule6)) -> rule5)) -> rule8) ((((triple10) -> rule6)) -> rule5)) -> rule3) ((triple10) -> rule6)) -> rule7))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
((triple7) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple1 triple6) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple6 triple4) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple1 ((triple4) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((triple6 ((triple1) -> (rule5 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple4) -> (rule8 % int2)) triple4) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple7) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple4) -> (rule8 % int3)) ((triple1) -> (rule5 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple7) -> (rule6 % int3)) ((triple4) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((triple1 ((((triple1) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple6 ((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule8 % int2)) triple4) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple4) -> (rule8 % int4)) ((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple7) -> (rule6 % int4)) ((((triple1) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple1) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1) -> (rule5 % int3))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule6 % int2))) -> (rule5 % int4))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((triple1 ((((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple4) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple7) -> (rule6 % int4)) ((((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1) -> (rule5 % int3))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple2 triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple2 ((triple7) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple1 triple6) -> (rule4 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple6 triple4) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple1 triple6) -> (rule4 % int3)) ((triple7) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple6 triple4) -> (rule3 % int3)) ((triple7) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple1 ((triple4) -> (rule8 % int3))) -> (rule4 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple6 ((triple1) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple4) -> (rule8 % int3)) triple4) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple7) -> (rule6 % int3)) triple6) -> (rule4 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple1 ((triple4) -> (rule8 % int4))) -> (rule4 % int3)) ((triple7) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple6 ((triple1) -> (rule5 % int4))) -> (rule3 % int3)) ((triple7) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple4) -> (rule8 % int4)) triple4) -> (rule3 % int3)) ((triple7) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple4) -> (rule8 % int4)) ((triple1) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple7) -> (rule6 % int3)) triple6) -> (rule4 % int2)) ((triple7) -> (rule6 % int3))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple7) -> (rule6 % int4)) ((triple4) -> (rule8 % int3))) -> (rule4 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple4) -> (rule8 % int5)) ((triple1) -> (rule5 % int4))) -> (rule3 % int3)) ((triple7) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple7) -> (rule6 % int4)) ((triple4) -> (rule8 % int3))) -> (rule4 % int2)) ((triple7) -> (rule6 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple1 ((((triple1) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple6 ((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule8 % int3)) triple4) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple1 ((((triple1) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple7) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple6 ((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple7) -> (rule6 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple4) -> (rule8 % int5)) ((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple7) -> (rule6 % int5)) ((((triple1) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule8 % int4)) triple4) -> (rule3 % int3)) ((triple7) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1) -> (rule5 % int4))) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple4) -> (rule8 % int5)) ((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple7) -> (rule6 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple7) -> (rule6 % int5)) ((((triple1) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple7) -> (rule6 % int5))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((triple1) -> (rule5 % int5))) -> (rule3 % int3)) ((triple7) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule6 % int3))) -> (rule5 % int5))) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule6 % int3))) -> (rule5 % int5))) -> (rule3 % int2)) ((triple7) -> (rule6 % int3))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple1 ((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) triple4) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple1 ((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple7) -> (rule6 % int5))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple7) -> (rule6 % int5)) ((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) triple4) -> (rule3 % int2)) ((triple7) -> (rule6 % int5))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1) -> (rule5 % int4))) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple7) -> (rule6 % int5)) ((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple7) -> (rule6 % int5))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1) -> (rule5 % int4))) -> (rule3 % int2)) ((triple7) -> (rule6 % int5))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule3 % int2)) ((triple7) -> (rule6 % int5))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple1) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
triple5
((triple2 triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple2 ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple1 triple6) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple6 triple4) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple1 triple6) -> (rule4 % int3)) ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple6 triple4) -> (rule3 % int3)) ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((triple2 ((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple1 ((triple4) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple6 ((triple1) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple4) -> (rule8 % int3)) triple4) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple7) -> (rule6 % int3)) triple6) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple1 triple6) -> (rule4 % int4)) ((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple1 ((triple4) -> (rule8 % int4))) -> (rule4 % int3)) ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple6 triple4) -> (rule3 % int4)) ((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple6 ((triple1) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1) -> (rule5 % int3))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple4) -> (rule8 % int4)) triple4) -> (rule3 % int3)) ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple4) -> (rule8 % int4)) ((triple1) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple7) -> (rule6 % int4)) triple6) -> (rule4 % int3)) ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple7) -> (rule6 % int4)) ((triple4) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple1 ((triple4) -> (rule8 % int5))) -> (rule4 % int4)) ((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple6 ((triple1) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule6 % int2))) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple4) -> (rule8 % int5)) triple4) -> (rule3 % int4)) ((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple4) -> (rule8 % int4)) ((triple1) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1) -> (rule5 % int3))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple7) -> (rule6 % int4)) triple6) -> (rule4 % int3)) ((((triple7) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple7) -> (rule6 % int5)) ((triple4) -> (rule8 % int4))) -> (rule4 % int3)) ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple4) -> (rule8 % int5)) ((triple1) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule6 % int2))) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple7) -> (rule6 % int5)) ((triple4) -> (rule8 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule6 % int5))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple1 ((((triple1) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple6 ((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule8 % int3)) triple4) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple1 ((((triple1) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple1) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple6 ((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1) -> (rule5 % int3))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple4) -> (rule8 % int5)) ((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple7) -> (rule6 % int5)) ((((triple1) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple1) -> (rule5 % int4))) -> (rule8 % int3)) triple4) -> (rule3 % int2)) ((triple1) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1) -> (rule5 % int4))) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple1 ((((triple1) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule6 % int2))) -> (rule5 % int5))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple6 ((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple4) -> (rule8 % int5)) ((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1) -> (rule5 % int3))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple7) -> (rule6 % int5)) ((((triple1) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple1) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule8 % int4)) triple4) -> (rule3 % int3)) ((((triple7) -> (rule6 % int2))) -> (rule5 % int5))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1) -> (rule5 % int4))) -> (rule3 % int2)) ((triple1) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((((triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule6 % int3))) -> (rule5 % int5))) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple4) -> (rule8 % int5)) ((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple7) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple7) -> (rule6 % int5)) ((((triple1) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((triple1) -> (rule5 % int5))) -> (rule3 % int3)) ((((triple7) -> (rule6 % int2))) -> (rule5 % int5))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule6 % int3))) -> (rule5 % int5))) -> (rule3 % int2)) ((triple1) -> (rule5 % int5))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule6 % int3))) -> (rule5 % int5))) -> (rule3 % int2)) ((((triple7) -> (rule6 % int3))) -> (rule5 % int5))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple1 ((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) triple4) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple1 ((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple1) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple7) -> (rule6 % int5)) ((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) triple4) -> (rule3 % int2)) ((triple1) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1) -> (rule5 % int4))) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple1 ((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple7) -> (rule6 % int5)) ((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple1) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) triple4) -> (rule3 % int2)) ((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1) -> (rule5 % int4))) -> (rule3 % int2)) ((triple1) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple7) -> (rule6 % int5)) ((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1) -> (rule5 % int4))) -> (rule3 % int2)) ((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule3 % int2)) ((triple1) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule3 % int2)) ((((triple7) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
((triple4) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
triple7
((triple4 triple1) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple1) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule3 % int2)) ((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple12
((((triple11 ((((triple11) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple11) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((((triple11) -> (rule5 % int4))) -> (rule8 % int3)) ((triple11) -> (rule5 % int4))) -> (rule3 % int2)) triple11) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
((triple8) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple10) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple11) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((((triple8) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
((((triple8) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
((((triple10) -> (rule6 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
((((triple11) -> (rule5 % int2))) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
((((triple11) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((triple8 ((((triple8) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple8) -> (rule5 % int3))) -> (rule8 % int2)) ((triple8) -> (rule5 % int3))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((((((triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((triple11 ((((triple11) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple11) -> (rule5 % int3))) -> (rule8 % int2)) ((triple11) -> (rule5 % int3))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
((((triple8 ((((triple8) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple8) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple8) -> (rule5 % int4))) -> (rule8 % int3)) ((triple8) -> (rule5 % int4))) -> (rule3 % int2)) triple8) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
((((triple8 ((((triple8) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple8) -> (rule5 % int4))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple8) -> (rule5 % int4))) -> (rule8 % int3)) ((triple8) -> (rule5 % int4))) -> (rule3 % int2)) ((triple8) -> (rule5 % int4))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
((((triple10) -> (rule6 % int4)) ((((((triple10) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple10) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((((triple10) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
((((triple11 ((((triple11) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple11) -> (rule5 % int4))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((((triple11) -> (rule5 % int4))) -> (rule8 % int3)) ((triple11) -> (rule5 % int4))) -> (rule3 % int2)) ((triple11) -> (rule5 % int4))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple10) -> (rule6 % int5))) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule3 % int2)) ((triple10) -> (rule6 % int5))) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5