Charlie ate some rotten meat and now feels green. Even though young Dave is red from his sunburn, his lips are blue because he is cold. Fred is very young to be a nurse but he loves helping others because he is so nice and kind. Being a kind person even when you are blue is hard, but it means you are round with delight. A male or female with rough, kind and round traits will surely have a nice quality, as well. I've noticed that someone with a round shape is also green. A round and blue individual will also be a cold individual. Kind people who are nice find that they must also be rough. Those who are round and cold are young. People who are cold and and red are also young and kind.
Charlie is green.
("Charlie" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
If someone is blue and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and kind and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is red and young and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Dave is young.
True
1
proof
[(triple2)]
("Dave" "is" "young" "+")
triple2
Fred is not young.
False
1
inv-proof
[(triple6)]
("Fred" "is" "young" "-")
triple6
Dave is kind.
True
4
proof
[(((triple3 triple2 triple4) -> rule7))]
("Dave" "is" "kind" "+")
((triple3 triple2 triple4) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
4
inv-proof
[(((triple3 triple2 triple4) -> rule7))]
("Dave" "is" "kind" "-")
((triple3 triple2 triple4) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
True
6
proof
[(((triple5 ((triple3 triple2 triple4) -> rule7)) -> rule1))]
("Dave" "is" "round" "+")
((triple5 ((triple3 triple2 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is not round.
False
6
inv-proof
[(((triple5 ((triple3 triple2 triple4) -> rule7)) -> rule1))]
("Dave" "is" "round" "-")
((triple5 ((triple3 triple2 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
True
7
proof
[(((((triple5 ((triple3 triple2 triple4) -> rule7)) -> rule1)) -> rule3))]
("Dave" "is" "green" "+")
((((triple5 ((triple3 triple2 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is not green.
False
7
inv-proof
[(((((triple5 ((triple3 triple2 triple4) -> rule7)) -> rule1)) -> rule3))]
("Dave" "is" "green" "-")
((((triple5 ((triple3 triple2 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Charlie" "is" "nice" "+")
Alan is not rough.
Unknown
inv-rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Alan" "is" "rough" "-")
Fred is green.
Unknown
rconc
[@2: Fred is green.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Fred" "is" "green" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is green.[(triple1)] Dave is blue.[(triple5)] Dave is cold.[(triple4)] Dave is red.[(triple3)] Dave is young.[(triple2)] Fred is kind.[(triple8)] Fred is nice.[(triple7)] Fred is young.[(triple6)] @1: Dave is kind.[(((triple3 triple2 triple4) -> rule7))] Fred is rough.[(((triple8 triple7) -> rule5))] @2: Dave is round.[(((triple5 ((triple3 triple2 triple4) -> rule7)) -> rule1))] @3: Dave is green.[(((((triple5 ((triple3 triple2 triple4) -> rule7)) -> rule1)) -> rule3))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
((triple3 triple2 triple4) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple8 triple7) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple5 ((triple3 triple2 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple5 ((triple3 triple2 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Charlie ate some rotten meat and now feels green.
Even though young Dave is red from his sunburn, his lips are blue because he is cold.
Fred is very young to be a nurse but he loves helping others because he is so nice and kind.
Being a kind person even when you are blue is hard, but it means you are round with delight.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
I've noticed that someone with a round shape is also green.
A round and blue individual will also be a cold individual.
Kind people who are nice find that they must also be rough.
Those who are round and cold are young.
People who are cold and and red are also young and kind.