Bob is rough. Erin is furry. Erin is rough. Erin is smart. Erin is white. Gary is green. Gary is kind. Gary is smart. Gary is white. Harry is kind. If someone is blue then they are smart. All white, blue people are rough. If someone is rough and white then they are green. Green, smart people are blue. All furry people are white. All white people are green. If someone is kind then they are furry. Green people are smart. If someone is rough then they are blue.
Bob is rough.
("Bob" "is" "rough" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is blue then they are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
All white, blue people are rough.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and white then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Green, smart people are blue.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
All furry people are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
All white people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If someone is kind then they are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
Green people are smart.
((("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Bob is rough.
True
1
proof
[(triple1)]
("Bob" "is" "rough" "+")
triple1
Bob is not rough.
False
1
inv-proof
[(triple1)]
("Bob" "is" "rough" "-")
triple1
Gary is furry.
True
2
proof
[(((triple7) -> rule7))]
("Gary" "is" "furry" "+")
((triple7) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not blue.
False
3
inv-proof
[(((triple6 triple8) -> rule4) OR ((triple6 ((triple6) -> rule8)) -> rule4) OR ((((triple9) -> rule6) triple8) -> rule4) OR ((((triple9) -> rule6) ((triple6) -> rule8)) -> rule4) OR ((triple6 ((((triple9) -> rule6)) -> rule8)) -> rule4) OR ((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple7) -> rule7)) -> rule5)) -> rule6) triple8) -> rule4) OR ((((((((triple7) -> rule7)) -> rule5)) -> rule6) ((triple6) -> rule8)) -> rule4) OR ((((((((triple7) -> rule7)) -> rule5)) -> rule6) ((((triple9) -> rule6)) -> rule8)) -> rule4) OR ((triple6 ((((((((triple7) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule4) OR ((((triple9) -> rule6) ((((((((triple7) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple7) -> rule7)) -> rule5)) -> rule6) ((((((((triple7) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule4))]
("Gary" "is" "blue" "-")
((triple6 triple8) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple6 ((triple6) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple9) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple9) -> (rule6 % int3)) ((triple6) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple6 ((((triple9) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple9) -> (rule6 % int3)) ((((triple9) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((((triple7) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple7) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((triple6) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple7) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple9) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((triple6 ((((((((triple7) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((triple9) -> (rule6 % int5)) ((((((((triple7) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple7) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((((((triple7) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Harry is white.
True
3
proof
[(((((triple10) -> rule7)) -> rule5))]
("Harry" "is" "white" "+")
((((triple10) -> (rule7 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is not white.
False
3
inv-proof
[(((((triple10) -> rule7)) -> rule5))]
("Harry" "is" "white" "-")
((((triple10) -> (rule7 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is green.
True
4
proof
[(((((((triple10) -> rule7)) -> rule5)) -> rule6))]
("Harry" "is" "green" "+")
((((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is not green.
False
4
inv-proof
[(((((((triple10) -> rule7)) -> rule5)) -> rule6))]
("Harry" "is" "green" "-")
((((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
True
5
proof
[(((((((((triple10) -> rule7)) -> rule5)) -> rule6)) -> rule8))]
("Harry" "is" "smart" "+")
((((((((triple10) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is not smart.
False
5
inv-proof
[(((((((((triple10) -> rule7)) -> rule5)) -> rule6)) -> rule8))]
("Harry" "is" "smart" "-")
((((((((triple10) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is blue.
True
10
proof
[(((((((((triple10) -> rule7)) -> rule5)) -> rule6) ((((((((triple10) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule4))]
("Harry" "is" "blue" "+")
((((((((triple10) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((((((triple10) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is not blue.
False
10
inv-proof
[(((((((((triple10) -> rule7)) -> rule5)) -> rule6) ((((((((triple10) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule4))]
("Harry" "is" "blue" "-")
((((((((triple10) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((((((triple10) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Bob is not white.
Unknown
inv-rconc
[@2: Bob is white.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Bob" "is" "white" "-")
Bob is green.
Unknown
rconc
[@3: Bob is green.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule7 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is rough.[(triple1)] Erin is furry.[(triple2)] Erin is rough.[(triple3 OR ((triple5 ((((triple5) -> rule6) triple4) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((triple5) -> rule6) triple4) -> rule4)) -> rule2) OR ((triple5 ((((((triple2) -> rule5)) -> rule6) triple4) -> rule4)) -> rule2) OR ((triple5 ((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((((triple2) -> rule5)) -> rule6) triple4) -> rule4)) -> rule2) OR ((triple5 ((((((triple2) -> rule5)) -> rule6) ((((triple5) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((((triple2) -> rule5)) -> rule6) ((((triple5) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((triple5 ((((triple5) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((triple5 ((((((triple2) -> rule5)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((triple5) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((((triple2) -> rule5)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule8)) -> rule4)) -> rule2))] Erin is smart.[(triple4 OR ((((triple3) -> rule9)) -> rule1) OR ((((triple5) -> rule6)) -> rule8) OR ((((triple3 triple5) -> rule3)) -> rule8) OR ((((((triple2) -> rule5)) -> rule6)) -> rule8) OR ((((triple3 ((triple2) -> rule5)) -> rule3)) -> rule8))] Erin is white.[(triple5 OR ((triple2) -> rule5))] Gary is green.[(triple6 OR ((triple9) -> rule6) OR ((((((triple7) -> rule7)) -> rule5)) -> rule6))] Gary is kind.[(triple7)] Gary is smart.[(triple8 OR ((triple6) -> rule8) OR ((((triple9) -> rule6)) -> rule8) OR ((((((((triple7) -> rule7)) -> rule5)) -> rule6)) -> rule8))] Gary is white.[(triple9 OR ((((triple7) -> rule7)) -> rule5))] Harry is kind.[(triple10)] @1: Bob is blue.[(((triple1) -> rule9))] Erin is blue.[(((triple3) -> rule9) OR ((((triple5) -> rule6) triple4) -> rule4) OR ((((triple3 triple5) -> rule3) triple4) -> rule4) OR ((((((triple2) -> rule5)) -> rule6) triple4) -> rule4) OR ((((triple3 ((triple2) -> rule5)) -> rule3) triple4) -> rule4) OR ((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((triple5) -> rule6) ((((triple3 triple5) -> rule3)) -> rule8)) -> rule4) OR ((((triple3 triple5) -> rule3) ((((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((triple3 triple5) -> rule3) ((((triple3 triple5) -> rule3)) -> rule8)) -> rule4) OR ((((((triple2) -> rule5)) -> rule6) ((((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((((triple2) -> rule5)) -> rule6) ((((triple3 triple5) -> rule3)) -> rule8)) -> rule4) OR ((((triple3 ((triple2) -> rule5)) -> rule3) ((((triple5) -> rule6)) -> rule8)) -> rule4) OR ((((triple3 ((triple2) -> rule5)) -> rule3) ((((triple3 triple5) -> rule3)) -> rule8)) -> rule4) OR ((((triple5) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule8)) -> rule4) OR ((((triple5) -> rule6) ((((triple3 ((triple2) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((triple3 triple5) -> rule3) ((((((triple2) -> rule5)) -> rule6)) -> rule8)) -> rule4) OR ((((triple3 triple5) -> rule3) ((((triple3 ((triple2) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((((triple2) -> rule5)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule8)) -> rule4) OR ((((((triple2) -> rule5)) -> rule6) ((((triple3 ((triple2) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((triple3 ((triple2) -> rule5)) -> rule3) ((((((triple2) -> rule5)) -> rule6)) -> rule8)) -> rule4) OR ((((triple3 ((triple2) -> rule5)) -> rule3) ((((triple3 ((triple2) -> rule5)) -> rule3)) -> rule8)) -> rule4))] Erin is green.[(((triple5) -> rule6) OR ((triple3 triple5) -> rule3) OR ((((triple2) -> rule5)) -> rule6) OR ((triple3 ((triple2) -> rule5)) -> rule3))] Gary is blue.[(((triple6 triple8) -> rule4) OR ((triple6 ((triple6) -> rule8)) -> rule4) OR ((((triple9) -> rule6) triple8) -> rule4) OR ((((triple9) -> rule6) ((triple6) -> rule8)) -> rule4) OR ((triple6 ((((triple9) -> rule6)) -> rule8)) -> rule4) OR ((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple7) -> rule7)) -> rule5)) -> rule6) triple8) -> rule4) OR ((((((((triple7) -> rule7)) -> rule5)) -> rule6) ((triple6) -> rule8)) -> rule4) OR ((((((((triple7) -> rule7)) -> rule5)) -> rule6) ((((triple9) -> rule6)) -> rule8)) -> rule4) OR ((triple6 ((((((((triple7) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule4) OR ((((triple9) -> rule6) ((((((((triple7) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple7) -> rule7)) -> rule5)) -> rule6) ((((((((triple7) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule4))] Gary is furry.[(((triple7) -> rule7))] Harry is furry.[(((triple10) -> rule7))] @2: Bob is smart.[(((((triple1) -> rule9)) -> rule1))] Gary is rough.[(((triple9 ((triple6 triple8) -> rule4)) -> rule2) OR ((triple9 ((triple6 ((triple6) -> rule8)) -> rule4)) -> rule2) OR ((triple9 ((((triple9) -> rule6) triple8) -> rule4)) -> rule2) OR ((triple9 ((((triple9) -> rule6) ((triple6) -> rule8)) -> rule4)) -> rule2) OR ((((((triple7) -> rule7)) -> rule5) ((triple6 triple8) -> rule4)) -> rule2) OR ((((((triple7) -> rule7)) -> rule5) ((triple6 ((triple6) -> rule8)) -> rule4)) -> rule2) OR ((((((triple7) -> rule7)) -> rule5) ((((triple9) -> rule6) triple8) -> rule4)) -> rule2) OR ((((((triple7) -> rule7)) -> rule5) ((((triple9) -> rule6) ((triple6) -> rule8)) -> rule4)) -> rule2) OR ((triple9 ((triple6 ((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((triple9 ((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple7) -> rule7)) -> rule5) ((triple6 ((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple7) -> rule7)) -> rule5) ((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((triple9 ((((((((triple7) -> rule7)) -> rule5)) -> rule6) triple8) -> rule4)) -> rule2) OR ((triple9 ((((((((triple7) -> rule7)) -> rule5)) -> rule6) ((triple6) -> rule8)) -> rule4)) -> rule2) OR ((triple9 ((((((((triple7) -> rule7)) -> rule5)) -> rule6) ((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple7) -> rule7)) -> rule5) ((((((((triple7) -> rule7)) -> rule5)) -> rule6) triple8) -> rule4)) -> rule2) OR ((((((triple7) -> rule7)) -> rule5) ((((((((triple7) -> rule7)) -> rule5)) -> rule6) ((triple6) -> rule8)) -> rule4)) -> rule2) OR ((((((triple7) -> rule7)) -> rule5) ((((((((triple7) -> rule7)) -> rule5)) -> rule6) ((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((triple9 ((triple6 ((((((((triple7) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((triple9 ((((triple9) -> rule6) ((((((((triple7) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple7) -> rule7)) -> rule5) ((triple6 ((((((((triple7) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((triple9 ((((((((triple7) -> rule7)) -> rule5)) -> rule6) ((((((((triple7) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple7) -> rule7)) -> rule5) ((((triple9) -> rule6) ((((((((triple7) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule4)) -> rule2) OR ((((((triple7) -> rule7)) -> rule5) ((((((((triple7) -> rule7)) -> rule5)) -> rule6) ((((((((triple7) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule4)) -> rule2))] Harry is white.[(((((triple10) -> rule7)) -> rule5))] @3: Harry is green.[(((((((triple10) -> rule7)) -> rule5)) -> rule6))] @4: Harry is smart.[(((((((((triple10) -> rule7)) -> rule5)) -> rule6)) -> rule8))] @5: Harry is blue.[(((((((((triple10) -> rule7)) -> rule5)) -> rule6) ((((((((triple10) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule4))] @6: Harry is rough.[(((((((triple10) -> rule7)) -> rule5) ((((((((triple10) -> rule7)) -> rule5)) -> rule6) ((((((((triple10) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule4)) -> rule2))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
((triple5 ((((triple5) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple2) -> (rule5 % int4)) ((((triple5) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple5 ((((((triple2) -> (rule5 % int4))) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple5 ((((triple5) -> (rule6 % int4)) ((((triple5) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple2) -> (rule5 % int4)) ((((((triple2) -> (rule5 % int4))) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple5 ((((((triple2) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple5) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple2) -> (rule5 % int5)) ((((triple5) -> (rule6 % int4)) ((((triple5) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple2) -> (rule5 % int5)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple5) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((triple5 ((((triple5) -> (rule6 % int5)) ((((((triple2) -> (rule5 % int4))) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((triple5 ((((((triple2) -> (rule5 % int5))) -> (rule6 % int4)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple2) -> (rule5 % int5)) ((((triple5) -> (rule6 % int4)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple2) -> (rule5 % int5)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int4)) ((((((triple2) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
triple4
((((triple3) -> (rule9 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple3 triple5) -> (rule3 % int2))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple3 ((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
triple5
((triple2) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple6
((triple9) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((((triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is smart.
("Gary" "is" "smart" "+")
triple8
((triple6) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((((triple7) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
triple9
((((triple7) -> (rule7 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple3) -> (rule9 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple5) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple3 triple5) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple3 ((triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple5) -> (rule6 % int3)) ((((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple5) -> (rule6 % int3)) ((((triple3 triple5) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple3 triple5) -> (rule3 % int3)) ((((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple3 triple5) -> (rule3 % int3)) ((((triple3 triple5) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple2) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple3 triple5) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple3 ((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple3 ((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple3 triple5) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple5) -> (rule6 % int4)) ((((((triple2) -> (rule5 % int3))) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple5) -> (rule6 % int4)) ((((triple3 ((triple2) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple3 triple5) -> (rule3 % int4)) ((((((triple2) -> (rule5 % int3))) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple3 triple5) -> (rule3 % int4)) ((((triple3 ((triple2) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple3 ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple3 ((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple3 ((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple3 ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
((triple5) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple3 triple5) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((triple3 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((triple6 triple8) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple6 ((triple6) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple9) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple9) -> (rule6 % int3)) ((triple6) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple6 ((((triple9) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple9) -> (rule6 % int3)) ((((triple9) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((((triple7) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple7) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((triple6) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple7) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple9) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((triple6 ((((((((triple7) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((triple9) -> (rule6 % int5)) ((((((((triple7) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple7) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((((((triple7) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
((triple7) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple10) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((((triple1) -> (rule9 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple9 ((triple6 triple8) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((triple9 ((triple6 ((triple6) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((triple9 ((((triple9) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple9 ((((triple9) -> (rule6 % int4)) ((triple6) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple7) -> (rule7 % int4))) -> (rule5 % int3)) ((triple6 triple8) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple7) -> (rule7 % int5))) -> (rule5 % int4)) ((triple6 ((triple6) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple7) -> (rule7 % int5))) -> (rule5 % int4)) ((((triple9) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple7) -> (rule7 % int6))) -> (rule5 % int5)) ((((triple9) -> (rule6 % int4)) ((triple6) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((triple9 ((triple6 ((((triple9) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((triple9 ((((triple9) -> (rule6 % int4)) ((((triple9) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple7) -> (rule7 % int6))) -> (rule5 % int5)) ((triple6 ((((triple9) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((triple7) -> (rule7 % int6))) -> (rule5 % int5)) ((((triple9) -> (rule6 % int4)) ((((triple9) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((triple9 ((((((((triple7) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((triple9 ((((((((triple7) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((triple6) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((triple9 ((((((((triple7) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple9) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((triple7) -> (rule7 % int5))) -> (rule5 % int4)) ((((((((triple7) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple7) -> (rule7 % int6))) -> (rule5 % int5)) ((((((((triple7) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((triple6) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((triple7) -> (rule7 % int6))) -> (rule5 % int5)) ((((((((triple7) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple9) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((triple9 ((triple6 ((((((((triple7) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((triple9 ((((triple9) -> (rule6 % int6)) ((((((((triple7) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int6))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((triple7) -> (rule7 % int6))) -> (rule5 % int5)) ((triple6 ((((((((triple7) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((triple9 ((((((((triple7) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((((((((triple7) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((triple7) -> (rule7 % int6))) -> (rule5 % int5)) ((((triple9) -> (rule6 % int4)) ((((((((triple7) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((triple7) -> (rule7 % int6))) -> (rule5 % int5)) ((((((((triple7) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((((((((triple7) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
Harry is white.
("Harry" "is" "white" "+")
((((triple10) -> (rule7 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
((((((((triple10) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
((((((((triple10) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((((((triple10) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
((((((triple10) -> (rule7 % int6))) -> (rule5 % int5)) ((((((((triple10) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((((((((triple10) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6