That rough but kind guy is Alan, the green one. Charlie is big and round man that is looking rather green after seeing some bad mayonnaise. Eric wears all blue. Gary is interestingly colored red and blue, and is also very kind. Santa Claus is red and kind. He is also very nice, especially to children. A depressed person feeling blue who is kind cannot escape from being green. I've noticed that someone who is big and acts cold towards others is green as well. People that feel green are cold to people that try to help them. Nice people are kind and rough when they are young. If you meet someone who is big and kind with cold skin, they will be young. Get a rather green person who is both nice, but cold to others, then they are certain to be round.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is red and kind then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and big then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and cold and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and green and cold then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Gary is kind.
True
1
proof
[(triple9)]
("Gary" "is" "kind" "+")
triple9
Gary is not blue.
False
1
inv-proof
[(triple10)]
("Gary" "is" "blue" "-")
triple10
Gary is green.
True
3
proof
[(((triple10 triple9) -> rule2))]
("Gary" "is" "green" "+")
((triple10 triple9) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple8 triple9) -> rule1))]
("Gary" "is" "nice" "-")
((triple8 triple9) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
True
4
proof
[(((((triple10 triple9) -> rule2)) -> rule4))]
("Gary" "is" "cold" "+")
((((triple10 triple9) -> (rule2 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not cold.
False
4
inv-proof
[(((((triple10 triple9) -> rule2)) -> rule4))]
("Gary" "is" "cold" "-")
((((triple10 triple9) -> (rule2 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
True
11
proof
[(((((triple8 triple9) -> rule1) ((triple10 triple9) -> rule2) ((((triple10 triple9) -> rule2)) -> rule4)) -> rule7))]
("Gary" "is" "round" "+")
((((triple8 triple9) -> (rule1 % int4)) ((triple10 triple9) -> (rule2 % int3)) ((((triple10 triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is not round.
False
11
inv-proof
[(((((triple8 triple9) -> rule1) ((triple10 triple9) -> rule2) ((((triple10 triple9) -> rule2)) -> rule4)) -> rule7))]
("Gary" "is" "round" "-")
((((triple8 triple9) -> (rule1 % int4)) ((triple10 triple9) -> (rule2 % int3)) ((((triple10 triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Alan is not round.
Unknown
inv-rconc
[@2: Alan is round.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Alan" "is" "round" "-")
Alan is young.
Unknown
rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Alan" "is" "young" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "young" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "young" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple6)] Charlie is green.[(triple5)] Charlie is round.[(triple4)] Eric is blue.[(triple7)] Gary is blue.[(triple10)] Gary is kind.[(triple9)] Gary is red.[(triple8)] @1: Alan is cold.[(((triple3) -> rule4))] Charlie is cold.[(((triple5) -> rule4))] Gary is green.[(((triple10 triple9) -> rule2))] Gary is nice.[(((triple8 triple9) -> rule1))] @2: Gary is cold.[(((((triple10 triple9) -> rule2)) -> rule4))] @3: Gary is round.[(((((triple8 triple9) -> rule1) ((triple10 triple9) -> rule2) ((((triple10 triple9) -> rule2)) -> rule4)) -> rule7))]
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Alan is cold.
("Alan" "is" "cold" "+")
((triple3) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple10 triple9) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple8 triple9) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple10 triple9) -> (rule2 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple8 triple9) -> (rule1 % int4)) ((triple10 triple9) -> (rule2 % int3)) ((((triple10 triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
That rough but kind guy is Alan, the green one.
Charlie is big and round man that is looking rather green after seeing some bad mayonnaise.
Eric wears all blue.
Gary is interestingly colored red and blue, and is also very kind.
Santa Claus is red and kind; He is also very nice, especially to children.
A depressed person feeling blue who is kind cannot escape from being green.
I've noticed that someone who is big and acts cold towards others is green as well.
People that feel green are cold to people that try to help them.
Nice people are kind and rough when they are young.
If you meet someone who is big and kind with cold skin, they will be young.
Get a rather green person who is both nice, but cold to others, then they are certain to be round.