Alan's skin appears to be red because of an infection which because of his big size slows his blood flow causing him to always feel cold despite this he is still very nice to everyone he encounters. Even though Charlie is green with envy he is nice with rosy red cheeks. That man standing next to you with a big round body goes by the name of Harry. Someone who has a a young round face is often rough around the edges. If you have a big and round shape then you are going to be young, too. Red, big people can't help but be round as well. Rough young folks are surprisingly kind. A person who is in school because of their young age with a round body and the constant desire to be nice will be feeling blue. If you meet someone who is big and kind with cold skin, they will be young.
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and big then they are young.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and big then they are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and young and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and cold and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Alan is nice.
True
1
proof
[(triple2)]
("Alan" "is" "nice" "+")
triple2
Charlie is not red.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "red" "-")
triple5
Harry is young.
True
3
proof
[(((triple8 triple9) -> rule2))]
("Harry" "is" "young" "+")
((triple8 triple9) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
3
inv-proof
[(((triple8 triple9) -> rule2))]
("Harry" "is" "young" "-")
((triple8 triple9) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Alan is young.
True
5
proof
[(((((triple1 triple4) -> rule3) triple4) -> rule2))]
("Alan" "is" "young" "+")
((((triple1 triple4) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is not young.
False
5
inv-proof
[(((((triple1 triple4) -> rule3) triple4) -> rule2))]
("Alan" "is" "young" "-")
((((triple1 triple4) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Harry is kind.
True
9
proof
[(((((triple8 triple9) -> rule2) ((triple8 ((triple8 triple9) -> rule2)) -> rule1)) -> rule4))]
("Harry" "is" "kind" "+")
((((triple8 triple9) -> (rule2 % int3)) ((triple8 ((triple8 triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Alan is not blue.
False
10
inv-proof
[(((((triple1 triple4) -> rule3) ((((triple1 triple4) -> rule3) triple4) -> rule2) triple2) -> rule5))]
("Alan" "is" "blue" "-")
((((triple1 triple4) -> (rule3 % int3)) ((((triple1 triple4) -> (rule3 % int3)) triple4) -> (rule2 % int2)) triple2) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is kind.
True
15
proof
[(((((((triple1 triple4) -> rule3) triple4) -> rule2) ((((triple1 triple4) -> rule3) ((((triple1 triple4) -> rule3) triple4) -> rule2)) -> rule1)) -> rule4))]
("Alan" "is" "kind" "+")
((((((triple1 triple4) -> (rule3 % int4)) triple4) -> (rule2 % int3)) ((((triple1 triple4) -> (rule3 % int4)) ((((triple1 triple4) -> (rule3 % int4)) triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is not kind.
False
15
inv-proof
[(((((((triple1 triple4) -> rule3) triple4) -> rule2) ((((triple1 triple4) -> rule3) ((((triple1 triple4) -> rule3) triple4) -> rule2)) -> rule1)) -> rule4))]
("Alan" "is" "kind" "-")
((((((triple1 triple4) -> (rule3 % int4)) triple4) -> (rule2 % int3)) ((((triple1 triple4) -> (rule3 % int4)) ((((triple1 triple4) -> (rule3 % int4)) triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "young" "-")
Charlie is kind.
Unknown
rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "round" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "round" "+")
Charlie is not blue.
Unknown
inv-rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Charlie" "is" "blue" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Alan is big.[(triple4)] Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Charlie is green.[(triple7)] Charlie is nice.[(triple6)] Charlie is red.[(triple5)] Harry is big.[(triple9)] Harry is round.[(triple8)] @1: Alan is round.[(((triple1 triple4) -> rule3))] Harry is young.[(((triple8 triple9) -> rule2))] @2: Alan is young.[(((((triple1 triple4) -> rule3) triple4) -> rule2))] Harry is rough.[(((triple8 ((triple8 triple9) -> rule2)) -> rule1))] @3: Alan is blue.[(((((triple1 triple4) -> rule3) ((((triple1 triple4) -> rule3) triple4) -> rule2) triple2) -> rule5))] Alan is rough.[(((((triple1 triple4) -> rule3) ((((triple1 triple4) -> rule3) triple4) -> rule2)) -> rule1))] Harry is kind.[(((((triple8 triple9) -> rule2) ((triple8 ((triple8 triple9) -> rule2)) -> rule1)) -> rule4))] @4: Alan is kind.[(((((((triple1 triple4) -> rule3) triple4) -> rule2) ((((triple1 triple4) -> rule3) ((((triple1 triple4) -> rule3) triple4) -> rule2)) -> rule1)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Alan is round.
("Alan" "is" "round" "+")
((triple1 triple4) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple8 triple9) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((((triple1 triple4) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((triple8 ((triple8 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
((((triple1 triple4) -> (rule3 % int3)) ((((triple1 triple4) -> (rule3 % int3)) triple4) -> (rule2 % int2)) triple2) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
((((triple1 triple4) -> (rule3 % int3)) ((((triple1 triple4) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((((triple8 triple9) -> (rule2 % int3)) ((triple8 ((triple8 triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
((((((triple1 triple4) -> (rule3 % int4)) triple4) -> (rule2 % int3)) ((((triple1 triple4) -> (rule3 % int4)) ((((triple1 triple4) -> (rule3 % int4)) triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan's skin appears to be red because of an infection which because of his big size slows his blood flow causing him to always feel cold despite this he is still very nice to everyone he encounters.
Even though Charlie is green with envy he is nice with rosy red cheeks.
That man standing next to you with a big round body goes by the name of Harry.
Someone who has a a young round face is often rough around the edges.
If you have a big and round shape then you are going to be young, too.
Red, big people can't help but be round as well.
Rough young folks are surprisingly kind.
A person who is in school because of their young age with a round body and the constant desire to be nice will be feeling blue.
If you meet someone who is big and kind with cold skin, they will be young.