Young Alan is already big and has rough, red skin from working outdoors.  Alan is kind but is feeling blue because of family troubles. Bob is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Harry is rough around the edges, but he's often blue and always nice. Someone who feels blue with rough skin is also kind and will be young. Nice people who are big are always cold because they can't find space near the heater. Humans who are nice to others while they are young and red will also be green. Looking blue can be a sign that someone is cold. A person who is cold, rough and young is also nice. Kind people, for example, like the ones at the bank are always blue.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is kind and blue and rough then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and young and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and young and rough then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Bob is nice.
True
1
proof
[(triple8)]
("Bob" "is" "nice" "+")
triple8
Bob is not blue.
False
1
inv-proof
[(triple9)]
("Bob" "is" "blue" "-")
triple9
Alan is cold.
True
2
proof
[(((triple5) -> rule4) OR ((((triple4) -> rule6)) -> rule4))]
("Alan" "is" "cold" "+")
((triple5) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is not cold.
False
2
inv-proof
[(((triple5) -> rule4) OR ((((triple4) -> rule6)) -> rule4))]
("Alan" "is" "cold" "-")
((triple5) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
True
5
proof
[(((((triple5) -> rule4) triple1 triple2) -> rule5) OR ((((triple5) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) OR ((((((triple4) -> rule6)) -> rule4) triple1 triple2) -> rule5) OR ((((triple5) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) OR ((((((triple4) -> rule6)) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) OR ((((((triple4) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5))]
("Alan" "is" "nice" "+")
((((triple5) -> (rule4 % int2)) triple1 triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple4 triple5 triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((((triple4) -> (rule6 % int3))) -> (rule4 % int2)) triple1 triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
((((triple5) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule6 % int3)) triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((((triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((triple4 triple5 triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
((((((triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((triple4 ((triple4) -> (rule6 % int4)) triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is not nice.
False
5
inv-proof
[(((((triple5) -> rule4) triple1 triple2) -> rule5) OR ((((triple5) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) OR ((((((triple4) -> rule6)) -> rule4) triple1 triple2) -> rule5) OR ((((triple5) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) OR ((((((triple4) -> rule6)) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) OR ((((((triple4) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5))]
("Alan" "is" "nice" "-")
((((triple5) -> (rule4 % int2)) triple1 triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple4 triple5 triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((((triple4) -> (rule6 % int3))) -> (rule4 % int2)) triple1 triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
((((triple5) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule6 % int3)) triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((((triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((triple4 triple5 triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
((((((triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((triple4 ((triple4) -> (rule6 % int4)) triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is green.
True
8
proof
[(((((((triple5) -> rule4) triple1 triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) triple1 triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) triple1 triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) triple1 triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) triple1 triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) triple1 triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3))]
("Alan" "is" "green" "+")
((((((triple5) -> (rule4 % int3)) triple1 triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((((triple5) -> (rule4 % int4)) triple1 triple2) -> (rule5 % int3)) ((triple4 triple5 triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((((triple5) -> (rule4 % int4)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((((triple5) -> (rule4 % int5)) triple1 triple2) -> (rule5 % int4)) ((triple4 ((triple4) -> (rule6 % int3)) triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((triple5) -> (rule4 % int4)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((((triple5) -> (rule4 % int5)) ((triple4 triple5 triple2) -> (rule1 % int4)) triple2) -> (rule5 % int3)) ((triple4 ((triple4) -> (rule6 % int2)) triple2) -> (rule1 % int4)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((((triple4) -> (rule6 % int4))) -> (rule4 % int3)) triple1 triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
((((((triple5) -> (rule4 % int5)) ((triple4 ((triple4) -> (rule6 % int4)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) triple1 triple2) -> (rule5 % int3)) ((triple4 triple5 triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((triple5) -> (rule4 % int5)) ((triple4 ((triple4) -> (rule6 % int4)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) triple1 triple2) -> (rule5 % int3)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((triple5) -> (rule4 % int5)) ((triple4 ((triple4) -> (rule6 % int4)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 ((triple4) -> (rule6 % int4)) triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
Alan is not green.
False
8
inv-proof
[(((((((triple5) -> rule4) triple1 triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) triple1 triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) triple1 triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) triple1 triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) triple1 triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) triple1 triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3))]
("Alan" "is" "green" "-")
((((((triple5) -> (rule4 % int3)) triple1 triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((((triple5) -> (rule4 % int4)) triple1 triple2) -> (rule5 % int3)) ((triple4 triple5 triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((((triple5) -> (rule4 % int4)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((((triple5) -> (rule4 % int5)) triple1 triple2) -> (rule5 % int4)) ((triple4 ((triple4) -> (rule6 % int3)) triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((triple5) -> (rule4 % int4)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((((triple5) -> (rule4 % int5)) ((triple4 triple5 triple2) -> (rule1 % int4)) triple2) -> (rule5 % int3)) ((triple4 ((triple4) -> (rule6 % int2)) triple2) -> (rule1 % int4)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((((triple4) -> (rule6 % int4))) -> (rule4 % int3)) triple1 triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
((((((triple5) -> (rule4 % int5)) ((triple4 ((triple4) -> (rule6 % int4)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) triple1 triple2) -> (rule5 % int3)) ((triple4 triple5 triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((triple5) -> (rule4 % int5)) ((triple4 ((triple4) -> (rule6 % int4)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) triple1 triple2) -> (rule5 % int3)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((triple5) -> (rule4 % int5)) ((triple4 ((triple4) -> (rule6 % int4)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 ((triple4) -> (rule6 % int4)) triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "green" "+")
Fred is not cold.
Unknown
inv-rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Fred" "is" "cold" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Alan is big.[(triple6)] Alan is blue.[(triple5 OR ((triple4) -> rule6))] Alan is kind.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1 OR ((triple4 triple5 triple2) -> rule1) OR ((triple4 ((triple4) -> rule6) triple2) -> rule1))] Bob is blue.[(triple9)] Bob is nice.[(triple8)] Bob is round.[(triple7)] Harry is blue.[(triple12)] Harry is nice.[(triple11)] Harry is rough.[(triple10)] @1: Alan is cold.[(((triple5) -> rule4) OR ((((triple4) -> rule6)) -> rule4))] Bob is cold.[(((triple9) -> rule4))] Harry is cold.[(((triple12) -> rule4))] @2: Alan is nice.[(((((triple5) -> rule4) triple1 triple2) -> rule5) OR ((((triple5) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) OR ((((((triple4) -> rule6)) -> rule4) triple1 triple2) -> rule5) OR ((((triple5) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) OR ((((((triple4) -> rule6)) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) OR ((((((triple4) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5))] @3: Alan is green.[(((((((triple5) -> rule4) triple1 triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) triple1 triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) triple1 triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) triple1 triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) triple1 triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) triple1 triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple6
Alan is blue.
("Alan" "is" "blue" "+")
triple5
((triple4) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
((triple4 triple5 triple2) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
((triple4 ((triple4) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
triple9
Bob is nice.
("Bob" "is" "nice" "+")
triple8
Bob is round.
("Bob" "is" "round" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Alan is cold.
("Alan" "is" "cold" "+")
((triple5) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((triple9) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple12) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple5) -> (rule4 % int2)) triple1 triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple4 triple5 triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((((triple4) -> (rule6 % int3))) -> (rule4 % int2)) triple1 triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
((((triple5) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule6 % int3)) triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((((triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((triple4 triple5 triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
((((((triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((triple4 ((triple4) -> (rule6 % int4)) triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is green.
("Alan" "is" "green" "+")
((((((triple5) -> (rule4 % int3)) triple1 triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((((triple5) -> (rule4 % int4)) triple1 triple2) -> (rule5 % int3)) ((triple4 triple5 triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((((triple5) -> (rule4 % int4)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((((triple5) -> (rule4 % int5)) triple1 triple2) -> (rule5 % int4)) ((triple4 ((triple4) -> (rule6 % int3)) triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((triple5) -> (rule4 % int4)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((((triple5) -> (rule4 % int5)) ((triple4 triple5 triple2) -> (rule1 % int4)) triple2) -> (rule5 % int3)) ((triple4 ((triple4) -> (rule6 % int2)) triple2) -> (rule1 % int4)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((((triple4) -> (rule6 % int4))) -> (rule4 % int3)) triple1 triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
((((((triple5) -> (rule4 % int5)) ((triple4 ((triple4) -> (rule6 % int4)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) triple1 triple2) -> (rule5 % int3)) ((triple4 triple5 triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((triple5) -> (rule4 % int5)) ((triple4 ((triple4) -> (rule6 % int4)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) triple1 triple2) -> (rule5 % int3)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) triple1 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((triple5) -> (rule4 % int5)) ((triple4 ((triple4) -> (rule6 % int4)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 ((triple4) -> (rule6 % int4)) triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 triple5 triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple4 ((triple4) -> (rule6 % int5)) triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
Young Alan is already big and has rough, red skin from working outdoors; Alan is kind but is feeling blue because of family troubles.
Bob is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
Harry is rough around the edges, but he's often blue and always nice.
Someone who feels blue with rough skin is also kind and will be young.
Nice people who are big are always cold because they can't find space near the heater.
Humans who are nice to others while they are young and red will also be green.
Looking blue can be a sign that someone is cold.
A person who is cold, rough and young is also nice.
Kind people, for example, like the ones at the bank are always blue.