Red Charlie is what folks call him, because he is quite red. Even though big Eric can be rough and cold, he is nice for someone as red as he is. Fred gets red when he is mad and tends to act very cold. Harry is a big gentleman who is very nice. He is secretly green with envy. A green and red colored person who is rather nice will definitely be kind. If a kind person is also young and round shaped, they will be colored blue. It's been proven that red, rough people are green as well. Though their hands were rough and cold they were also kind, which is how I could tell that they were young. There are so many rough, young people and for some reason they are all big too. Young and kind people, that also tend to be cold, are then considered green.
Charlie is red.
("Charlie" "is" "red" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green and nice and red then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and rough then they are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and rough and cold then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is young and kind and cold then they are green.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Harry is nice.
True
1
proof
[(triple9)]
("Harry" "is" "nice" "+")
triple9
Harry is not green.
False
1
inv-proof
[(triple10)]
("Harry" "is" "green" "-")
triple10
Eric is green.
True
3
proof
[(((triple3 triple2) -> rule3))]
("Eric" "is" "green" "+")
((triple3 triple2) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
3
inv-proof
[(((triple3 triple2) -> rule3))]
("Eric" "is" "green" "-")
((triple3 triple2) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
True
6
proof
[(((((triple3 triple2) -> rule3) triple4 triple3) -> rule1))]
("Eric" "is" "kind" "+")
((((triple3 triple2) -> (rule3 % int2)) triple4 triple3) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not kind.
False
6
inv-proof
[(((((triple3 triple2) -> rule3) triple4 triple3) -> rule1))]
("Eric" "is" "kind" "-")
((((triple3 triple2) -> (rule3 % int2)) triple4 triple3) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is young.
True
9
proof
[(((((((triple3 triple2) -> rule3) triple4 triple3) -> rule1) triple2 triple5) -> rule4))]
("Eric" "is" "young" "+")
((((((triple3 triple2) -> (rule3 % int3)) triple4 triple3) -> (rule1 % int2)) triple2 triple5) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not young.
False
9
inv-proof
[(((((((triple3 triple2) -> rule3) triple4 triple3) -> rule1) triple2 triple5) -> rule4))]
("Eric" "is" "young" "-")
((((((triple3 triple2) -> (rule3 % int3)) triple4 triple3) -> (rule1 % int2)) triple2 triple5) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "young" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "blue" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is red.[(triple1)] Eric is big.[(triple6 OR ((((((((triple3 triple2) -> rule3) triple4 triple3) -> rule1) triple2 triple5) -> rule4) triple2) -> rule5))] Eric is cold.[(triple5)] Eric is nice.[(triple4)] Eric is red.[(triple3)] Eric is rough.[(triple2)] Fred is cold.[(triple8)] Fred is red.[(triple7)] Harry is big.[(triple11)] Harry is green.[(triple10)] Harry is nice.[(triple9)] @1: Eric is green.[(((triple3 triple2) -> rule3))] @2: Eric is kind.[(((((triple3 triple2) -> rule3) triple4 triple3) -> rule1))] @3: Eric is young.[(((((((triple3 triple2) -> rule3) triple4 triple3) -> rule1) triple2 triple5) -> rule4))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
((((((((triple3 triple2) -> (rule3 % int4)) triple4 triple3) -> (rule1 % int3)) triple2 triple5) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Eric is green.
("Eric" "is" "green" "+")
((triple3 triple2) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((((triple3 triple2) -> (rule3 % int2)) triple4 triple3) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((((((triple3 triple2) -> (rule3 % int3)) triple4 triple3) -> (rule1 % int2)) triple2 triple5) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Red Charlie is what folks call him, because he is quite red.
Even though big Eric can be rough and cold, he is nice for someone as red as he is.
Fred gets red when he is mad and tends to act very cold.
Harry is a big gentleman who is very nice; He is secretly green with envy.
A green and red colored person who is rather nice will definitely be kind.
If a kind person is also young and round shaped, they will be colored blue.
It's been proven that red, rough people are green as well.
Though their hands were rough and cold they were also kind, which is how I could tell that they were young.
There are so many rough, young people and for some reason they are all big too.
Young and kind people, that also tend to be cold, are then considered green.