Charlie, is a rather young, rough, and round person who is considered kind.  Today however he is red from a sunburn and looks green after seeing some rather rotten trash. Young Dave is round from too much candy.  He is feeling cold even though he's red from being in the sun too long. Fred was born only a few years ago so he is young. Harry wears all blue. People who are big and kind are also round. Kind people that are rough and round are also considered big. Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also. That young person is feeling cold because he is green to the situation making his body shape round. Young people that are big in size, tend to be more on the blue side. Anyone that's described as young, kind and blue can be said to be cold, too.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is kind and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and kind and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and blue and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is young and cold and green then they are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is big and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and blue and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Fred is young.
True
1
proof
[(triple11)]
("Fred" "is" "young" "+")
triple11
Fred is not young.
False
1
inv-proof
[(triple11)]
("Fred" "is" "young" "-")
triple11
Charlie is big.
True
4
proof
[(((triple3 triple5 triple2) -> rule2))]
("Charlie" "is" "big" "+")
((triple3 triple5 triple2) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
4
inv-proof
[(((triple3 triple5 triple2) -> rule2))]
("Charlie" "is" "big" "-")
((triple3 triple5 triple2) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
True
6
proof
[(((((triple3 triple5 triple2) -> rule2) triple1) -> rule5))]
("Charlie" "is" "blue" "+")
((((triple3 triple5 triple2) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not blue.
False
6
inv-proof
[(((((triple3 triple5 triple2) -> rule2) triple1) -> rule5))]
("Charlie" "is" "blue" "-")
((((triple3 triple5 triple2) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
True
9
proof
[(((triple1 ((((triple3 triple5 triple2) -> rule2) triple1) -> rule5) triple5) -> rule6))]
("Charlie" "is" "cold" "+")
((triple1 ((((triple3 triple5 triple2) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not cold.
False
9
inv-proof
[(((triple1 ((((triple3 triple5 triple2) -> rule2) triple1) -> rule5) triple5) -> rule6))]
("Charlie" "is" "cold" "-")
((triple1 ((((triple3 triple5 triple2) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Fred is not blue.
Unknown
inv-rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Fred" "is" "blue" "-")
Fred is round.
Unknown
rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Fred" "is" "round" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Charlie is green.[(triple6)] Charlie is kind.[(triple5)] Charlie is red.[(triple4)] Charlie is rough.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is cold.[(triple10)] Dave is red.[(triple9)] Dave is round.[(triple8)] Dave is young.[(triple7)] Fred is young.[(triple11)] Harry is blue.[(triple12)] @1: Charlie is big.[(((triple3 triple5 triple2) -> rule2))] @2: Charlie is blue.[(((((triple3 triple5 triple2) -> rule2) triple1) -> rule5))] @3: Charlie is cold.[(((triple1 ((((triple3 triple5 triple2) -> rule2) triple1) -> rule5) triple5) -> rule6))]
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple10
Dave is red.
("Dave" "is" "red" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Charlie is big.
("Charlie" "is" "big" "+")
((triple3 triple5 triple2) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple3 triple5 triple2) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple1 ((((triple3 triple5 triple2) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie, is a rather young, rough, and round person who is considered kind; Today however he is red from a sunburn and looks green after seeing some rather rotten trash.
Young Dave is round from too much candy; He is feeling cold even though he's red from being in the sun too long.
Fred was born only a few years ago so he is young.
Harry wears all blue.
People who are big and kind are also round.
Kind people that are rough and round are also considered big.
Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also.
That young person is feeling cold because he is green to the situation making his body shape round.
Young people that are big in size, tend to be more on the blue side.
Anyone that's described as young, kind and blue can be said to be cold, too.