Bob is blue. Bob is green. Fiona is green. Gary is big. Harry is big. Harry is blue. Harry is young. Big people are green. All furry, young people are quiet. Green people are blue. If someone is furry and white then they are young. All furry, green people are blue. If Harry is quiet and Harry is furry then Harry is blue. Young, furry people are quiet. Furry people are white. Blue, green people are furry.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
All furry, young people are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
Green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is furry and white then they are young.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All furry, green people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If Harry is quiet and Harry is furry then Harry is blue.
((("Harry" "is" "quiet" "+") ("Harry" "is" "furry" "+")) -> ("Harry" "is" "blue" "+"))
Young, furry people are quiet.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Furry people are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
Blue, green people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Gary is big.
True
1
proof
[(triple4)]
("Gary" "is" "big" "+")
triple4
Fiona is not green.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "green" "-")
triple3
Gary is green.
True
2
proof
[(((triple4) -> rule1))]
("Gary" "is" "green" "+")
((triple4) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "blue" "-")
((triple3) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
True
4
proof
[(((((triple3) -> rule3) triple3) -> rule9))]
("Fiona" "is" "furry" "+")
((((triple3) -> (rule3 % int2)) triple3) -> (rule9 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Gary is not blue.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule3))]
("Gary" "is" "blue" "-")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
True
6
proof
[(((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule9))]
("Gary" "is" "furry" "+")
((((((triple4) -> (rule1 % int3))) -> (rule3 % int2)) ((triple4) -> (rule1 % int3))) -> (rule9 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Fiona is not white.
False
5
inv-proof
[(((((((triple3) -> rule3) triple3) -> rule9)) -> rule8))]
("Fiona" "is" "white" "-")
((((((triple3) -> (rule3 % int3)) triple3) -> (rule9 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
True
10
proof
[(((((((triple3) -> rule3) triple3) -> rule9) ((((((triple3) -> rule3) triple3) -> rule9)) -> rule8)) -> rule4))]
("Fiona" "is" "young" "+")
((((((triple3) -> (rule3 % int4)) triple3) -> (rule9 % int3)) ((((((triple3) -> (rule3 % int4)) triple3) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Gary is not white.
False
7
inv-proof
[(((((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule9)) -> rule8))]
("Gary" "is" "white" "-")
((((((((triple4) -> (rule1 % int4))) -> (rule3 % int3)) ((triple4) -> (rule1 % int4))) -> (rule9 % int2))) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Fiona is quiet.
True
15
proof
[(((((((triple3) -> rule3) triple3) -> rule9) ((((((triple3) -> rule3) triple3) -> rule9) ((((((triple3) -> rule3) triple3) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple3) -> rule3) triple3) -> rule9) ((((((triple3) -> rule3) triple3) -> rule9)) -> rule8)) -> rule4) ((((triple3) -> rule3) triple3) -> rule9)) -> rule7))]
("Fiona" "is" "quiet" "+")
((((((triple3) -> (rule3 % int5)) triple3) -> (rule9 % int4)) ((((((triple3) -> (rule3 % int5)) triple3) -> (rule9 % int4)) ((((((triple3) -> (rule3 % int5)) triple3) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((((triple3) -> (rule3 % int5)) triple3) -> (rule9 % int4)) ((((((triple3) -> (rule3 % int5)) triple3) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((((triple3) -> (rule3 % int5)) triple3) -> (rule9 % int4))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Gary is not young.
False
14
inv-proof
[(((((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule9) ((((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule9)) -> rule8)) -> rule4))]
("Gary" "is" "young" "-")
((((((((triple4) -> (rule1 % int5))) -> (rule3 % int4)) ((triple4) -> (rule1 % int5))) -> (rule9 % int3)) ((((((((triple4) -> (rule1 % int5))) -> (rule3 % int4)) ((triple4) -> (rule1 % int5))) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Bob is blue.[(triple1 OR ((triple2) -> rule3))] Bob is green.[(triple2)] Fiona is green.[(triple3)] Gary is big.[(triple4)] Harry is big.[(triple5)] Harry is blue.[(triple6 OR ((((triple5) -> rule1)) -> rule3))] Harry is young.[(triple7 OR ((((triple6 ((triple5) -> rule1)) -> rule9) ((((triple6 ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9) ((((triple6 ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4) OR ((((triple6 ((triple5) -> rule1)) -> rule9) ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9) ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4))] @1: Bob is furry.[(((triple1 triple2) -> rule9) OR ((((triple2) -> rule3) triple2) -> rule9))] Fiona is blue.[(((triple3) -> rule3))] Gary is green.[(((triple4) -> rule1))] Harry is green.[(((triple5) -> rule1))] @2: Bob is white.[(((((triple1 triple2) -> rule9)) -> rule8) OR ((((((triple2) -> rule3) triple2) -> rule9)) -> rule8))] Fiona is furry.[(((((triple3) -> rule3) triple3) -> rule9))] Gary is blue.[(((((triple4) -> rule1)) -> rule3))] Harry is furry.[(((triple6 ((triple5) -> rule1)) -> rule9) OR ((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9))] @3: Bob is young.[(((((triple1 triple2) -> rule9) ((((triple1 triple2) -> rule9)) -> rule8)) -> rule4) OR ((((((triple2) -> rule3) triple2) -> rule9) ((((triple1 triple2) -> rule9)) -> rule8)) -> rule4) OR ((((triple1 triple2) -> rule9) ((((((triple2) -> rule3) triple2) -> rule9)) -> rule8)) -> rule4) OR ((((((triple2) -> rule3) triple2) -> rule9) ((((((triple2) -> rule3) triple2) -> rule9)) -> rule8)) -> rule4))] Fiona is white.[(((((((triple3) -> rule3) triple3) -> rule9)) -> rule8))] Gary is furry.[(((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule9))] Harry is quiet.[(((triple7 ((triple6 ((triple5) -> rule1)) -> rule9)) -> rule7) OR ((((triple6 ((triple5) -> rule1)) -> rule9) triple7) -> rule2) OR ((triple7 ((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9)) -> rule7) OR ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9) triple7) -> rule2) OR ((((triple6 ((triple5) -> rule1)) -> rule9) ((((triple6 ((triple5) -> rule1)) -> rule9) ((((triple6 ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple6 ((triple5) -> rule1)) -> rule9) ((((triple6 ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4) ((triple6 ((triple5) -> rule1)) -> rule9)) -> rule7) OR ((((triple6 ((triple5) -> rule1)) -> rule9) ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9) ((((triple6 ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9) ((((triple6 ((triple5) -> rule1)) -> rule9) ((((triple6 ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple6 ((triple5) -> rule1)) -> rule9) ((((triple6 ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4) ((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9)) -> rule7) OR ((((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9) ((((triple6 ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4) ((triple6 ((triple5) -> rule1)) -> rule9)) -> rule7) OR ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9) ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9) ((((triple6 ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9) ((((triple6 ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4) ((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9)) -> rule7) OR ((((triple6 ((triple5) -> rule1)) -> rule9) ((((triple6 ((triple5) -> rule1)) -> rule9) ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple6 ((triple5) -> rule1)) -> rule9) ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4) ((triple6 ((triple5) -> rule1)) -> rule9)) -> rule7) OR ((((triple6 ((triple5) -> rule1)) -> rule9) ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9) ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9) ((((triple6 ((triple5) -> rule1)) -> rule9) ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple6 ((triple5) -> rule1)) -> rule9) ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4) ((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9)) -> rule7) OR ((((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9) ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4) ((triple6 ((triple5) -> rule1)) -> rule9)) -> rule7) OR ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9) ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9) ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9) ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule4) ((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9)) -> rule7))] Harry is white.[(((((triple6 ((triple5) -> rule1)) -> rule9)) -> rule8) OR ((((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule9)) -> rule8))] @4: Bob is quiet.[(((((triple1 triple2) -> rule9) ((((triple1 triple2) -> rule9) ((((triple1 triple2) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple1 triple2) -> rule9) ((((triple1 triple2) -> rule9)) -> rule8)) -> rule4) ((triple1 triple2) -> rule9)) -> rule7) OR ((((triple1 triple2) -> rule9) ((((((triple2) -> rule3) triple2) -> rule9) ((((triple1 triple2) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple2) -> rule3) triple2) -> rule9) ((((triple1 triple2) -> rule9) ((((triple1 triple2) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple1 triple2) -> rule9) ((((triple1 triple2) -> rule9)) -> rule8)) -> rule4) ((((triple2) -> rule3) triple2) -> rule9)) -> rule7) OR ((((((((triple2) -> rule3) triple2) -> rule9) ((((triple1 triple2) -> rule9)) -> rule8)) -> rule4) ((triple1 triple2) -> rule9)) -> rule7) OR ((((((triple2) -> rule3) triple2) -> rule9) ((((((triple2) -> rule3) triple2) -> rule9) ((((triple1 triple2) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple2) -> rule3) triple2) -> rule9) ((((triple1 triple2) -> rule9)) -> rule8)) -> rule4) ((((triple2) -> rule3) triple2) -> rule9)) -> rule7) OR ((((triple1 triple2) -> rule9) ((((triple1 triple2) -> rule9) ((((((triple2) -> rule3) triple2) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple1 triple2) -> rule9) ((((((triple2) -> rule3) triple2) -> rule9)) -> rule8)) -> rule4) ((triple1 triple2) -> rule9)) -> rule7) OR ((((triple1 triple2) -> rule9) ((((((triple2) -> rule3) triple2) -> rule9) ((((((triple2) -> rule3) triple2) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple2) -> rule3) triple2) -> rule9) ((((triple1 triple2) -> rule9) ((((((triple2) -> rule3) triple2) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple1 triple2) -> rule9) ((((((triple2) -> rule3) triple2) -> rule9)) -> rule8)) -> rule4) ((((triple2) -> rule3) triple2) -> rule9)) -> rule7) OR ((((((((triple2) -> rule3) triple2) -> rule9) ((((((triple2) -> rule3) triple2) -> rule9)) -> rule8)) -> rule4) ((triple1 triple2) -> rule9)) -> rule7) OR ((((((triple2) -> rule3) triple2) -> rule9) ((((((triple2) -> rule3) triple2) -> rule9) ((((((triple2) -> rule3) triple2) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple2) -> rule3) triple2) -> rule9) ((((((triple2) -> rule3) triple2) -> rule9)) -> rule8)) -> rule4) ((((triple2) -> rule3) triple2) -> rule9)) -> rule7))] Fiona is young.[(((((((triple3) -> rule3) triple3) -> rule9) ((((((triple3) -> rule3) triple3) -> rule9)) -> rule8)) -> rule4))] Gary is white.[(((((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule9)) -> rule8))] @5: Fiona is quiet.[(((((((triple3) -> rule3) triple3) -> rule9) ((((((triple3) -> rule3) triple3) -> rule9) ((((((triple3) -> rule3) triple3) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple3) -> rule3) triple3) -> rule9) ((((((triple3) -> rule3) triple3) -> rule9)) -> rule8)) -> rule4) ((((triple3) -> rule3) triple3) -> rule9)) -> rule7))] Gary is young.[(((((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule9) ((((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule9)) -> rule8)) -> rule4))] @6: Gary is quiet.[(((((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule9) ((((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule9) ((((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule9)) -> rule8)) -> rule4)) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule9) ((((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule9)) -> rule8)) -> rule4) ((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule9)) -> rule7))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple2) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple7
((((triple6 ((triple5) -> (rule1 % int4))) -> (rule9 % int3)) ((((triple6 ((triple5) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple5) -> (rule1 % int5))) -> (rule3 % int4)) ((triple5) -> (rule1 % int5))) -> (rule9 % int3)) ((((triple6 ((triple5) -> (rule1 % int5))) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple6 ((triple5) -> (rule1 % int5))) -> (rule9 % int4)) ((((((((triple5) -> (rule1 % int5))) -> (rule3 % int3)) ((triple5) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((triple5) -> (rule1 % int5))) -> (rule3 % int4)) ((triple5) -> (rule1 % int5))) -> (rule9 % int3)) ((((((((triple5) -> (rule1 % int5))) -> (rule3 % int4)) ((triple5) -> (rule1 % int5))) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
((triple1 triple2) -> (rule9 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple2) -> (rule3 % int2)) triple2) -> (rule9 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple4) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple5) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((((triple1 triple2) -> (rule9 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((((triple2) -> (rule3 % int3)) triple2) -> (rule9 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple3) -> (rule3 % int2)) triple3) -> (rule9 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((triple6 ((triple5) -> (rule1 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((((triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((triple5) -> (rule1 % int3))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((((triple1 triple2) -> (rule9 % int3)) ((((triple1 triple2) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple2) -> (rule3 % int4)) triple2) -> (rule9 % int3)) ((((triple1 triple2) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple1 triple2) -> (rule9 % int4)) ((((((triple2) -> (rule3 % int3)) triple2) -> (rule9 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2) -> (rule3 % int4)) triple2) -> (rule9 % int3)) ((((((triple2) -> (rule3 % int4)) triple2) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple3) -> (rule3 % int3)) triple3) -> (rule9 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
((((((triple4) -> (rule1 % int3))) -> (rule3 % int2)) ((triple4) -> (rule1 % int3))) -> (rule9 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple7 ((triple6 ((triple5) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple6 ((triple5) -> (rule1 % int3))) -> (rule9 % int2)) triple7) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((triple7 ((((((triple5) -> (rule1 % int4))) -> (rule3 % int3)) ((triple5) -> (rule1 % int4))) -> (rule9 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple5) -> (rule1 % int4))) -> (rule3 % int3)) ((triple5) -> (rule1 % int4))) -> (rule9 % int2)) triple7) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple6 ((triple5) -> (rule1 % int5))) -> (rule9 % int4)) ((((triple6 ((triple5) -> (rule1 % int5))) -> (rule9 % int4)) ((((triple6 ((triple5) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple6 ((triple5) -> (rule1 % int5))) -> (rule9 % int4)) ((((triple6 ((triple5) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple6 ((triple5) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int5)) ((((((((triple5) -> (rule1 % int6))) -> (rule3 % int4)) ((triple5) -> (rule1 % int6))) -> (rule9 % int5)) ((((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) ((triple5) -> (rule1 % int6))) -> (rule9 % int4)) ((((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int4)) ((((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((((((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int5)) ((((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((((((triple5) -> (rule1 % int6))) -> (rule3 % int2)) ((triple5) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((((((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) ((triple5) -> (rule1 % int6))) -> (rule9 % int4)) ((((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) ((triple5) -> (rule1 % int6))) -> (rule9 % int4)) ((((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) ((triple5) -> (rule1 % int6))) -> (rule9 % int4)) ((((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((((((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) ((triple5) -> (rule1 % int6))) -> (rule9 % int4)) ((((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) ((triple5) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int5)) ((((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int5)) ((((((((triple5) -> (rule1 % int6))) -> (rule3 % int4)) ((triple5) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((((((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int5)) ((((((((triple5) -> (rule1 % int6))) -> (rule3 % int4)) ((triple5) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int5)) ((((((((triple5) -> (rule1 % int6))) -> (rule3 % int4)) ((triple5) -> (rule1 % int6))) -> (rule9 % int5)) ((((((((triple5) -> (rule1 % int6))) -> (rule3 % int4)) ((triple5) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) ((triple5) -> (rule1 % int6))) -> (rule9 % int4)) ((((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int4)) ((((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) ((triple5) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((((((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int5)) ((((((((triple5) -> (rule1 % int6))) -> (rule3 % int4)) ((triple5) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule8 % int3))) -> (rule4 % int2)) ((((((triple5) -> (rule1 % int6))) -> (rule3 % int4)) ((triple5) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((((((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) ((triple5) -> (rule1 % int6))) -> (rule9 % int4)) ((((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) ((triple5) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple6 ((triple5) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) ((triple5) -> (rule1 % int6))) -> (rule9 % int4)) ((((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) ((triple5) -> (rule1 % int6))) -> (rule9 % int4)) ((((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) ((triple5) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((((((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) ((triple5) -> (rule1 % int6))) -> (rule9 % int4)) ((((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) ((triple5) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((((((triple5) -> (rule1 % int6))) -> (rule3 % int5)) ((triple5) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
Harry is white.
("Harry" "is" "white" "+")
((((triple6 ((triple5) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((((triple5) -> (rule1 % int4))) -> (rule3 % int3)) ((triple5) -> (rule1 % int4))) -> (rule9 % int2))) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
((((triple1 triple2) -> (rule9 % int4)) ((((triple1 triple2) -> (rule9 % int4)) ((((triple1 triple2) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple1 triple2) -> (rule9 % int4)) ((((triple1 triple2) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple1 triple2) -> (rule9 % int4))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple1 triple2) -> (rule9 % int5)) ((((((triple2) -> (rule3 % int4)) triple2) -> (rule9 % int5)) ((((triple1 triple2) -> (rule9 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple2) -> (rule3 % int5)) triple2) -> (rule9 % int4)) ((((triple1 triple2) -> (rule9 % int4)) ((((triple1 triple2) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((triple1 triple2) -> (rule9 % int5)) ((((triple1 triple2) -> (rule9 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule3 % int2)) triple2) -> (rule9 % int5))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple2) -> (rule3 % int5)) triple2) -> (rule9 % int4)) ((((triple1 triple2) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple1 triple2) -> (rule9 % int4))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((triple2) -> (rule3 % int5)) triple2) -> (rule9 % int4)) ((((((triple2) -> (rule3 % int5)) triple2) -> (rule9 % int4)) ((((triple1 triple2) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((((triple2) -> (rule3 % int5)) triple2) -> (rule9 % int4)) ((((triple1 triple2) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule3 % int5)) triple2) -> (rule9 % int4))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple1 triple2) -> (rule9 % int5)) ((((triple1 triple2) -> (rule9 % int5)) ((((((triple2) -> (rule3 % int4)) triple2) -> (rule9 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple1 triple2) -> (rule9 % int5)) ((((((triple2) -> (rule3 % int4)) triple2) -> (rule9 % int5))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple1 triple2) -> (rule9 % int5))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple1 triple2) -> (rule9 % int5)) ((((((triple2) -> (rule3 % int4)) triple2) -> (rule9 % int5)) ((((((triple2) -> (rule3 % int4)) triple2) -> (rule9 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple2) -> (rule3 % int5)) triple2) -> (rule9 % int4)) ((((triple1 triple2) -> (rule9 % int4)) ((((((triple2) -> (rule3 % int5)) triple2) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((triple1 triple2) -> (rule9 % int5)) ((((((triple2) -> (rule3 % int4)) triple2) -> (rule9 % int5))) -> (rule8 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule3 % int4)) triple2) -> (rule9 % int5))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple2) -> (rule3 % int5)) triple2) -> (rule9 % int4)) ((((((triple2) -> (rule3 % int5)) triple2) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple1 triple2) -> (rule9 % int4))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((triple2) -> (rule3 % int5)) triple2) -> (rule9 % int4)) ((((((triple2) -> (rule3 % int5)) triple2) -> (rule9 % int4)) ((((((triple2) -> (rule3 % int5)) triple2) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((((triple2) -> (rule3 % int5)) triple2) -> (rule9 % int4)) ((((((triple2) -> (rule3 % int5)) triple2) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule3 % int5)) triple2) -> (rule9 % int4))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Fiona is young.
("Fiona" "is" "young" "+")
((((((triple3) -> (rule3 % int4)) triple3) -> (rule9 % int3)) ((((((triple3) -> (rule3 % int4)) triple3) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
((((((((triple4) -> (rule1 % int4))) -> (rule3 % int3)) ((triple4) -> (rule1 % int4))) -> (rule9 % int2))) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((triple3) -> (rule3 % int5)) triple3) -> (rule9 % int4)) ((((((triple3) -> (rule3 % int5)) triple3) -> (rule9 % int4)) ((((((triple3) -> (rule3 % int5)) triple3) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((((triple3) -> (rule3 % int5)) triple3) -> (rule9 % int4)) ((((((triple3) -> (rule3 % int5)) triple3) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((((triple3) -> (rule3 % int5)) triple3) -> (rule9 % int4))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
((((((((triple4) -> (rule1 % int5))) -> (rule3 % int4)) ((triple4) -> (rule1 % int5))) -> (rule9 % int3)) ((((((((triple4) -> (rule1 % int5))) -> (rule3 % int4)) ((triple4) -> (rule1 % int5))) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is quiet.
("Gary" "is" "quiet" "+")
((((((((triple4) -> (rule1 % int6))) -> (rule3 % int5)) ((triple4) -> (rule1 % int6))) -> (rule9 % int4)) ((((((((triple4) -> (rule1 % int6))) -> (rule3 % int5)) ((triple4) -> (rule1 % int6))) -> (rule9 % int4)) ((((((((triple4) -> (rule1 % int6))) -> (rule3 % int5)) ((triple4) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((((((triple4) -> (rule1 % int6))) -> (rule3 % int5)) ((triple4) -> (rule1 % int6))) -> (rule9 % int4)) ((((((((triple4) -> (rule1 % int6))) -> (rule3 % int5)) ((triple4) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((((((triple4) -> (rule1 % int6))) -> (rule3 % int5)) ((triple4) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6