Alan wears all blue. Charlie is so young and darling he is kind to all the old people on the block. Young Dave got into a fight that left him with red sores on his face. Upon meeting Harry, you'll notice he's green and kind. A nice person who is green is feeling cold. If you are green you are also kind. If a human is both young and kind, they are also cold. People with blue and red skin color are also green. A young, green person who is cold is rough around the edges. Kind people who look green are almost always young in age. They found the ones that were round, blue, and green to be nice.
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and green and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is round and blue and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Charlie is kind.
True
1
proof
[(triple3)]
("Charlie" "is" "kind" "+")
triple3
Charlie is not young.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "young" "-")
triple2
Harry is young.
True
3
proof
[(((triple7 triple6) -> rule6) OR ((triple7 ((triple7) -> rule2)) -> rule6))]
("Harry" "is" "young" "+")
((triple7 triple6) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple7 ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not young.
False
3
inv-proof
[(((triple7 triple6) -> rule6) OR ((triple7 ((triple7) -> rule2)) -> rule6))]
("Harry" "is" "young" "-")
((triple7 triple6) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple7 ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
True
5
proof
[(((((triple7 triple6) -> rule6) triple6) -> rule3) OR ((((triple7 triple6) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple7 ((triple7) -> rule2)) -> rule6) triple6) -> rule3) OR ((((triple7 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3))]
("Harry" "is" "cold" "+")
((((triple7 triple6) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple7 triple6) -> (rule6 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple7 ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple7 ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple7) -> (rule2 % int3))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not cold.
False
5
inv-proof
[(((((triple7 triple6) -> rule6) triple6) -> rule3) OR ((((triple7 triple6) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple7 ((triple7) -> rule2)) -> rule6) triple6) -> rule3) OR ((((triple7 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3))]
("Harry" "is" "cold" "-")
((((triple7 triple6) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple7 triple6) -> (rule6 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple7 ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple7 ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple7) -> (rule2 % int3))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is rough.
True
10
proof
[(((((((triple7 triple6) -> rule6) triple6) -> rule3) triple7 ((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple7 triple6) -> rule6) triple6) -> rule3) triple7 ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule5) OR ((((((triple7 triple6) -> rule6) ((triple7) -> rule2)) -> rule3) triple7 ((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple7 triple6) -> rule6) ((triple7) -> rule2)) -> rule3) triple7 ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule5) OR ((((((triple7 ((triple7) -> rule2)) -> rule6) triple6) -> rule3) triple7 ((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple7 ((triple7) -> rule2)) -> rule6) triple6) -> rule3) triple7 ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule5) OR ((((((triple7 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) triple7 ((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple7 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) triple7 ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule5))]
("Harry" "is" "rough" "+")
((((((triple7 triple6) -> (rule6 % int3)) triple6) -> (rule3 % int2)) triple7 ((triple7 triple6) -> (rule6 % int3))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple7 triple6) -> (rule6 % int4)) triple6) -> (rule3 % int3)) triple7 ((triple7 ((triple7) -> (rule2 % int2))) -> (rule6 % int4))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 triple6) -> (rule6 % int4)) ((triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple7 ((triple7 triple6) -> (rule6 % int4))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 triple6) -> (rule6 % int4)) ((triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple7 ((triple7 ((triple7) -> (rule2 % int3))) -> (rule6 % int4))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule3 % int2)) triple7 ((triple7 triple6) -> (rule6 % int3))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule3 % int2)) triple7 ((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7) -> (rule2 % int4))) -> (rule3 % int2)) triple7 ((triple7 triple6) -> (rule6 % int3))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7) -> (rule2 % int4))) -> (rule3 % int2)) triple7 ((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is not rough.
False
10
inv-proof
[(((((((triple7 triple6) -> rule6) triple6) -> rule3) triple7 ((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple7 triple6) -> rule6) triple6) -> rule3) triple7 ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule5) OR ((((((triple7 triple6) -> rule6) ((triple7) -> rule2)) -> rule3) triple7 ((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple7 triple6) -> rule6) ((triple7) -> rule2)) -> rule3) triple7 ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule5) OR ((((((triple7 ((triple7) -> rule2)) -> rule6) triple6) -> rule3) triple7 ((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple7 ((triple7) -> rule2)) -> rule6) triple6) -> rule3) triple7 ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule5) OR ((((((triple7 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) triple7 ((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple7 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) triple7 ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule5))]
("Harry" "is" "rough" "-")
((((((triple7 triple6) -> (rule6 % int3)) triple6) -> (rule3 % int2)) triple7 ((triple7 triple6) -> (rule6 % int3))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple7 triple6) -> (rule6 % int4)) triple6) -> (rule3 % int3)) triple7 ((triple7 ((triple7) -> (rule2 % int2))) -> (rule6 % int4))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 triple6) -> (rule6 % int4)) ((triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple7 ((triple7 triple6) -> (rule6 % int4))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 triple6) -> (rule6 % int4)) ((triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple7 ((triple7 ((triple7) -> (rule2 % int3))) -> (rule6 % int4))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule3 % int2)) triple7 ((triple7 triple6) -> (rule6 % int3))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule3 % int2)) triple7 ((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7) -> (rule2 % int4))) -> (rule3 % int2)) triple7 ((triple7 triple6) -> (rule6 % int3))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7) -> (rule2 % int4))) -> (rule3 % int2)) triple7 ((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "nice" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "green" "+")
Charlie is not rough.
Unknown
inv-rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "rough" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "nice" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Alan is blue.[(triple1)] Charlie is kind.[(triple3)] Charlie is young.[(triple2)] Dave is red.[(triple5)] Dave is young.[(triple4)] Harry is green.[(triple7)] Harry is kind.[(triple6 OR ((triple7) -> rule2))] @1: Charlie is cold.[(((triple2 triple3) -> rule3))] Harry is young.[(((triple7 triple6) -> rule6) OR ((triple7 ((triple7) -> rule2)) -> rule6))] @2: Harry is cold.[(((((triple7 triple6) -> rule6) triple6) -> rule3) OR ((((triple7 triple6) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple7 ((triple7) -> rule2)) -> rule6) triple6) -> rule3) OR ((((triple7 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3))] @3: Harry is rough.[(((((((triple7 triple6) -> rule6) triple6) -> rule3) triple7 ((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple7 triple6) -> rule6) triple6) -> rule3) triple7 ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule5) OR ((((((triple7 triple6) -> rule6) ((triple7) -> rule2)) -> rule3) triple7 ((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple7 triple6) -> rule6) ((triple7) -> rule2)) -> rule3) triple7 ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule5) OR ((((((triple7 ((triple7) -> rule2)) -> rule6) triple6) -> rule3) triple7 ((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple7 ((triple7) -> rule2)) -> rule6) triple6) -> rule3) triple7 ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule5) OR ((((((triple7 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) triple7 ((triple7 triple6) -> rule6)) -> rule5) OR ((((((triple7 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) triple7 ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple6
((triple7) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2 triple3) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple7 triple6) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple7 ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple7 triple6) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple7 triple6) -> (rule6 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple7 ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple7 ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple7) -> (rule2 % int3))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
((((((triple7 triple6) -> (rule6 % int3)) triple6) -> (rule3 % int2)) triple7 ((triple7 triple6) -> (rule6 % int3))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple7 triple6) -> (rule6 % int4)) triple6) -> (rule3 % int3)) triple7 ((triple7 ((triple7) -> (rule2 % int2))) -> (rule6 % int4))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 triple6) -> (rule6 % int4)) ((triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple7 ((triple7 triple6) -> (rule6 % int4))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 triple6) -> (rule6 % int4)) ((triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple7 ((triple7 ((triple7) -> (rule2 % int3))) -> (rule6 % int4))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule3 % int2)) triple7 ((triple7 triple6) -> (rule6 % int3))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule3 % int2)) triple7 ((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7) -> (rule2 % int4))) -> (rule3 % int2)) triple7 ((triple7 triple6) -> (rule6 % int3))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7) -> (rule2 % int4))) -> (rule3 % int2)) triple7 ((triple7 ((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Alan wears all blue.
Charlie is so young and darling he is kind to all the old people on the block.
Young Dave got into a fight that left him with red sores on his face.
Upon meeting Harry, you'll notice he's green and kind.
A nice person who is green is feeling cold.
If you are green you are also kind.
If a human is both young and kind, they are also cold.
People with blue and red skin color are also green.
A young, green person who is cold is rough around the edges.
Kind people who look green are almost always young in age.
They found the ones that were round, blue, and green to be nice.