Charlie, the round one, is cold in Alaska because he's green and rough around the edges. Eric is big and tends to wear red shirts. Fred is somewhat red,he is also very nice and kind, he is very big though. They always call him rough Gary. I've found that people with rough skin tend to be really nice but they also often feel blue. Anybody that is big is also someone who is going to be blue. Like a blueberry, a big blue person is round as anything. Kind young people that are still blue are generally round shaped. Invariably, any young person whose skin appears rough and green is bound to be quite big. John is round and rough, meaning that he is someone that is seen as green. Big people that tend to be nice and blue, may also be a little rough to others.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is rough and nice then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and young and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is young and green and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is round and rough then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is big and nice and blue then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Eric is red.
True
1
proof
[(triple5)]
("Eric" "is" "red" "+")
triple5
Fred is not big.
False
1
inv-proof
[(triple10)]
("Fred" "is" "big" "-")
triple10
Eric is blue.
True
2
proof
[(((triple6) -> rule2))]
("Eric" "is" "blue" "+")
((triple6) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
2
inv-proof
[(((triple6) -> rule2))]
("Eric" "is" "blue" "-")
((triple6) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Fred is round.
True
4
proof
[(((((triple10) -> rule2) triple10) -> rule3))]
("Fred" "is" "round" "+")
((((triple10) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not round.
False
4
inv-proof
[(((((triple10) -> rule2) triple10) -> rule3))]
("Fred" "is" "round" "-")
((((triple10) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is green.
True
10
proof
[(((((((triple10) -> rule2) triple10) -> rule3) ((triple10 triple8 ((triple10) -> rule2)) -> rule7)) -> rule6))]
("Fred" "is" "green" "+")
((((((triple10) -> (rule2 % int4)) triple10) -> (rule3 % int3)) ((triple10 triple8 ((triple10) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is not green.
False
10
inv-proof
[(((((((triple10) -> rule2) triple10) -> rule3) ((triple10 triple8 ((triple10) -> rule2)) -> rule7)) -> rule6))]
("Fred" "is" "green" "-")
((((((triple10) -> (rule2 % int4)) triple10) -> (rule3 % int3)) ((triple10 triple8 ((triple10) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Charlie is not blue.
Unknown
inv-rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Charlie" "is" "blue" "-")
Gary is green.
Unknown
rconc
[@3: Gary is green.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule5 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "big" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Charlie is cold.[(triple4)] Charlie is green.[(triple3 OR ((triple1 triple2) -> rule6))] Charlie is rough.[(triple2)] Charlie is round.[(triple1)] Eric is big.[(triple6)] Eric is red.[(triple5)] Fred is big.[(triple10)] Fred is kind.[(triple9)] Fred is nice.[(triple8)] Fred is red.[(triple7)] Gary is rough.[(triple11)] @1: Eric is blue.[(((triple6) -> rule2))] Fred is blue.[(((triple10) -> rule2))] @2: Eric is round.[(((((triple6) -> rule2) triple6) -> rule3))] Fred is rough.[(((triple10 triple8 ((triple10) -> rule2)) -> rule7))] Fred is round.[(((((triple10) -> rule2) triple10) -> rule3))] @3: Fred is green.[(((((((triple10) -> rule2) triple10) -> rule3) ((triple10 triple8 ((triple10) -> rule2)) -> rule7)) -> rule6))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple3
((triple1 triple2) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Eric is blue.
("Eric" "is" "blue" "+")
((triple6) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple10) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((((triple6) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((triple10 triple8 ((triple10) -> (rule2 % int2))) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((triple10) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((((triple10) -> (rule2 % int4)) triple10) -> (rule3 % int3)) ((triple10 triple8 ((triple10) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Charlie, the round one, is cold in Alaska because he's green and rough around the edges.
Eric is big and tends to wear red shirts.
Fred is somewhat red,he is also very nice and kind, he is very big though.
They always call him rough Gary.
I've found that people with rough skin tend to be really nice but they also often feel blue.
Anybody that is big is also someone who is going to be blue.
Like a blueberry, a big blue person is round as anything.
Kind young people that are still blue are generally round shaped.
Invariably, any young person whose skin appears rough and green is bound to be quite big.
John is round and rough, meaning that he is someone that is seen as green.
Big people that tend to be nice and blue, may also be a little rough to others.