Alan was kind despite being rough. And because he was so big, Alan constantly felt cold. This Charlie guy is red. He is also kind and yet cold. Dave is blue and cold. Eric has a round face and is very nice. Young people with red skin who are a bit downhearted and blue are kind. Most young, green people are kind and because of this they are round. Big and green people who feel cold are usually young in age. A rough person that is cold towards others is green. As someone can be round and rough, they can also be nice and kind. Big kind people are usually cold. Anyone who is big and cold and also kind is definitely red on top if it.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
If someone is young and blue and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and young and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is green and big and cold then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and round and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold and kind then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Dave is cold.
True
1
proof
[(triple8)]
("Dave" "is" "cold" "+")
triple8
Eric is not round.
False
1
inv-proof
[(triple10)]
("Eric" "is" "round" "-")
triple10
Alan is red.
True
4
proof
[(((triple4 triple3 triple2) -> rule7) OR ((triple4 ((triple2 triple4) -> rule6) triple2) -> rule7))]
("Alan" "is" "red" "+")
((triple4 triple3 triple2) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
((triple4 ((triple2 triple4) -> (rule6 % int2)) triple2) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not green.
False
3
inv-proof
[(((triple1 triple3) -> rule4) OR ((triple1 ((triple2 triple4) -> rule6)) -> rule4))]
("Alan" "is" "green" "-")
((triple1 triple3) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
((triple1 ((triple2 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is young.
True
6
proof
[(((((triple1 triple3) -> rule4) triple4 triple3) -> rule3) OR ((((triple1 triple3) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 triple3) -> rule3) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3))]
("Alan" "is" "young" "+")
((((triple1 triple3) -> (rule4 % int2)) triple4 triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
((((triple1 triple3) -> (rule4 % int3)) triple4 ((triple2 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((((triple1 ((triple2 triple4) -> (rule6 % int3))) -> (rule4 % int2)) triple4 triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple1 ((triple2 triple4) -> (rule6 % int3))) -> (rule4 % int2)) triple4 ((triple2 triple4) -> (rule6 % int3))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not young.
False
6
inv-proof
[(((((triple1 triple3) -> rule4) triple4 triple3) -> rule3) OR ((((triple1 triple3) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 triple3) -> rule3) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3))]
("Alan" "is" "young" "-")
((((triple1 triple3) -> (rule4 % int2)) triple4 triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
((((triple1 triple3) -> (rule4 % int3)) triple4 ((triple2 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((((triple1 ((triple2 triple4) -> (rule6 % int3))) -> (rule4 % int2)) triple4 triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple1 ((triple2 triple4) -> (rule6 % int3))) -> (rule4 % int2)) triple4 ((triple2 triple4) -> (rule6 % int3))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is round.
True
11
proof
[(((((triple1 triple3) -> rule4) ((((triple1 triple3) -> rule4) triple4 triple3) -> rule3) triple2) -> rule2) OR ((((triple1 triple3) -> rule4) ((((triple1 triple3) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) ((((triple1 triple3) -> rule4) triple4 triple3) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) ((((triple1 triple3) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) triple2) -> rule2) OR ((((triple1 triple3) -> rule4) ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 triple3) -> rule3) triple2) -> rule2) OR ((((triple1 triple3) -> rule4) ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 triple3) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) triple2) -> rule2))]
("Alan" "is" "round" "+")
((((triple1 triple3) -> (rule4 % int3)) ((((triple1 triple3) -> (rule4 % int3)) triple4 triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((((triple1 triple3) -> (rule4 % int4)) ((((triple1 triple3) -> (rule4 % int4)) triple4 ((triple2 triple4) -> (rule6 % int3))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple3) -> (rule4 % int3)) triple4 triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple3) -> (rule4 % int3)) triple4 ((triple2 triple4) -> (rule6 % int4))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((triple1 triple3) -> (rule4 % int4)) ((((triple1 ((triple2 triple4) -> (rule6 % int3))) -> (rule4 % int4)) triple4 triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((((triple1 triple3) -> (rule4 % int4)) ((((triple1 ((triple2 triple4) -> (rule6 % int3))) -> (rule4 % int4)) triple4 ((triple2 triple4) -> (rule6 % int3))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) triple4 triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) triple4 ((triple2 triple4) -> (rule6 % int4))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is not round.
False
11
inv-proof
[(((((triple1 triple3) -> rule4) ((((triple1 triple3) -> rule4) triple4 triple3) -> rule3) triple2) -> rule2) OR ((((triple1 triple3) -> rule4) ((((triple1 triple3) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) ((((triple1 triple3) -> rule4) triple4 triple3) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) ((((triple1 triple3) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) triple2) -> rule2) OR ((((triple1 triple3) -> rule4) ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 triple3) -> rule3) triple2) -> rule2) OR ((((triple1 triple3) -> rule4) ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 triple3) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) triple2) -> rule2))]
("Alan" "is" "round" "-")
((((triple1 triple3) -> (rule4 % int3)) ((((triple1 triple3) -> (rule4 % int3)) triple4 triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((((triple1 triple3) -> (rule4 % int4)) ((((triple1 triple3) -> (rule4 % int4)) triple4 ((triple2 triple4) -> (rule6 % int3))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple3) -> (rule4 % int3)) triple4 triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple3) -> (rule4 % int3)) triple4 ((triple2 triple4) -> (rule6 % int4))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((triple1 triple3) -> (rule4 % int4)) ((((triple1 ((triple2 triple4) -> (rule6 % int3))) -> (rule4 % int4)) triple4 triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((((triple1 triple3) -> (rule4 % int4)) ((((triple1 ((triple2 triple4) -> (rule6 % int3))) -> (rule4 % int4)) triple4 ((triple2 triple4) -> (rule6 % int3))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) triple4 triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) triple4 ((triple2 triple4) -> (rule6 % int4))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "cold" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "red" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Alan is big.[(triple4)] Alan is cold.[(triple3 OR ((triple2 triple4) -> rule6))] Alan is kind.[(triple2)] Alan is rough.[(triple1)] Charlie is cold.[(triple7)] Charlie is kind.[(triple6)] Charlie is red.[(triple5)] Dave is blue.[(triple9)] Dave is cold.[(triple8)] Eric is nice.[(triple11)] Eric is round.[(triple10)] @1: Alan is green.[(((triple1 triple3) -> rule4) OR ((triple1 ((triple2 triple4) -> rule6)) -> rule4))] Alan is red.[(((triple4 triple3 triple2) -> rule7) OR ((triple4 ((triple2 triple4) -> rule6) triple2) -> rule7))] @2: Alan is young.[(((((triple1 triple3) -> rule4) triple4 triple3) -> rule3) OR ((((triple1 triple3) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 triple3) -> rule3) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3))] @3: Alan is round.[(((((triple1 triple3) -> rule4) ((((triple1 triple3) -> rule4) triple4 triple3) -> rule3) triple2) -> rule2) OR ((((triple1 triple3) -> rule4) ((((triple1 triple3) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) ((((triple1 triple3) -> rule4) triple4 triple3) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) ((((triple1 triple3) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) triple2) -> rule2) OR ((((triple1 triple3) -> rule4) ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 triple3) -> rule3) triple2) -> rule2) OR ((((triple1 triple3) -> rule4) ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 triple3) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) triple2) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
((triple2 triple4) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple11
Eric is round.
("Eric" "is" "round" "+")
triple10
Alan is green.
("Alan" "is" "green" "+")
((triple1 triple3) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
((triple1 ((triple2 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((triple4 triple3 triple2) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
((triple4 ((triple2 triple4) -> (rule6 % int2)) triple2) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((triple1 triple3) -> (rule4 % int2)) triple4 triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
((((triple1 triple3) -> (rule4 % int3)) triple4 ((triple2 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((((triple1 ((triple2 triple4) -> (rule6 % int3))) -> (rule4 % int2)) triple4 triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple1 ((triple2 triple4) -> (rule6 % int3))) -> (rule4 % int2)) triple4 ((triple2 triple4) -> (rule6 % int3))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
((((triple1 triple3) -> (rule4 % int3)) ((((triple1 triple3) -> (rule4 % int3)) triple4 triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((((triple1 triple3) -> (rule4 % int4)) ((((triple1 triple3) -> (rule4 % int4)) triple4 ((triple2 triple4) -> (rule6 % int3))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple3) -> (rule4 % int3)) triple4 triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple3) -> (rule4 % int3)) triple4 ((triple2 triple4) -> (rule6 % int4))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((triple1 triple3) -> (rule4 % int4)) ((((triple1 ((triple2 triple4) -> (rule6 % int3))) -> (rule4 % int4)) triple4 triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((((triple1 triple3) -> (rule4 % int4)) ((((triple1 ((triple2 triple4) -> (rule6 % int3))) -> (rule4 % int4)) triple4 ((triple2 triple4) -> (rule6 % int3))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) triple4 triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 ((triple2 triple4) -> (rule6 % int4))) -> (rule4 % int3)) triple4 ((triple2 triple4) -> (rule6 % int4))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan was kind despite being rough; And because he was so big, Alan constantly felt cold.
This Charlie guy is red; He is also kind and yet cold.
Dave is blue and cold.
Eric has a round face and is very nice.
Young people with red skin who are a bit downhearted and blue are kind.
Most young, green people are kind and because of this they are round.
Big and green people who feel cold are usually young in age.
A rough person that is cold towards others is green.
As someone can be round and rough, they can also be nice and kind.
Big kind people are usually cold.
Anyone who is big and cold and also kind is definitely red on top if it.