Charlie feels nice and kind today, so he paints himself green and embraces his cold side. Charlie is big enough to do whatever he wants. In the snow sits Eric, crying from being cold. Fred is big and tends to wear red shirts. They always call him rough Gary. A round shaped and rough person will be blue as well. Almost all of the young blue and red people I have seen are big as well. I see it all the time, nice big people make equal a cold person. People who are kind and green are very often rough. Rough people who are nice and have green thumbs are almost always young. People who are nice and rough are looked at as kind. A kind, young human will also be a blue human.
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and blue and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and green and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Eric is cold.
True
1
proof
[(triple6)]
("Eric" "is" "cold" "+")
triple6
Charlie is not green.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "green" "-")
triple3
Charlie is rough.
True
3
proof
[(((triple2 triple3) -> rule4))]
("Charlie" "is" "rough" "+")
((triple2 triple3) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
3
inv-proof
[(((triple2 triple3) -> rule4))]
("Charlie" "is" "rough" "-")
((triple2 triple3) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
True
6
proof
[(((triple1 triple3 ((triple2 triple3) -> rule4)) -> rule5))]
("Charlie" "is" "young" "+")
((triple1 triple3 ((triple2 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not young.
False
6
inv-proof
[(((triple1 triple3 ((triple2 triple3) -> rule4)) -> rule5))]
("Charlie" "is" "young" "-")
((triple1 triple3 ((triple2 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
True
8
proof
[(((triple2 ((triple1 triple3 ((triple2 triple3) -> rule4)) -> rule5)) -> rule7))]
("Charlie" "is" "blue" "+")
((triple2 ((triple1 triple3 ((triple2 triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not blue.
False
8
inv-proof
[(((triple2 ((triple1 triple3 ((triple2 triple3) -> rule4)) -> rule5)) -> rule7))]
("Charlie" "is" "blue" "-")
((triple2 ((triple1 triple3 ((triple2 triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "rough" "-")
Eric is blue.
Unknown
rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Eric" "is" "blue" "+")
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "kind" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Charlie is big.[(triple5)] Charlie is cold.[(triple4 OR ((triple1 triple5) -> rule3))] Charlie is green.[(triple3)] Charlie is kind.[(triple2)] Charlie is nice.[(triple1)] Eric is cold.[(triple6)] Fred is big.[(triple8)] Fred is red.[(triple7)] Gary is rough.[(triple9)] @1: Charlie is rough.[(((triple2 triple3) -> rule4))] @2: Charlie is young.[(((triple1 triple3 ((triple2 triple3) -> rule4)) -> rule5))] @3: Charlie is blue.[(((triple2 ((triple1 triple3 ((triple2 triple3) -> rule4)) -> rule5)) -> rule7))]
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
((triple1 triple5) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2 triple3) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple1 triple3 ((triple2 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple2 ((triple1 triple3 ((triple2 triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie feels nice and kind today, so he paints himself green and embraces his cold side; Charlie is big enough to do whatever he wants.
In the snow sits Eric, crying from being cold.
Fred is big and tends to wear red shirts.
They always call him rough Gary.
A round shaped and rough person will be blue as well.
Almost all of the young blue and red people I have seen are big as well.
I see it all the time, nice big people make equal a cold person.
People who are kind and green are very often rough.
Rough people who are nice and have green thumbs are almost always young.
People who are nice and rough are looked at as kind.
A kind, young human will also be a blue human.