Alan has become rough with permanent red skin from working outdoors for so many years.  He always feels cold.  He is kind to both people and animals. They always call him rough Bob. Charlie is nice and kind, but a little rough. Big Eric is nice but also rough. I have found that if someone is kind and red, that they are quite often nice. People who are blue, cold, and round are often kind. A kind person with green and red skin must be big too. I've found that people with rough skin tend to be really nice but they also often feel blue. It is true that kind people who have become cold and blue and survived are necessarily big. You will probably see that big, round, blue people are green, too. A young and kind person with red rosy skin is cold.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and cold and round then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and kind and red then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and nice then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is round and big and blue then they are green.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is young and kind and red then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Charlie is rough.
True
1
proof
[(triple6)]
("Charlie" "is" "rough" "+")
triple6
Alan is not cold.
False
1
inv-proof
[(triple4)]
("Alan" "is" "cold" "-")
triple4
Alan is nice.
True
3
proof
[(((triple3 triple2) -> rule1))]
("Alan" "is" "nice" "+")
((triple3 triple2) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is not nice.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Alan" "is" "nice" "-")
((triple3 triple2) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
True
5
proof
[(((triple1 ((triple3 triple2) -> rule1)) -> rule4))]
("Alan" "is" "blue" "+")
((triple1 ((triple3 triple2) -> (rule1 % int2))) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is not blue.
False
5
inv-proof
[(((triple1 ((triple3 triple2) -> rule1)) -> rule4))]
("Alan" "is" "blue" "-")
((triple1 ((triple3 triple2) -> (rule1 % int2))) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
True
8
proof
[(((((triple1 ((triple3 triple2) -> rule1)) -> rule4) triple4 triple3) -> rule5))]
("Alan" "is" "big" "+")
((((triple1 ((triple3 triple2) -> (rule1 % int3))) -> (rule4 % int2)) triple4 triple3) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is not big.
False
8
inv-proof
[(((((triple1 ((triple3 triple2) -> rule1)) -> rule4) triple4 triple3) -> rule5))]
("Alan" "is" "big" "-")
((((triple1 ((triple3 triple2) -> (rule1 % int3))) -> (rule4 % int2)) triple4 triple3) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "cold" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "cold" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Alan is cold.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Bob is rough.[(triple5)] Charlie is kind.[(triple8)] Charlie is nice.[(triple7)] Charlie is rough.[(triple6)] Eric is big.[(triple11)] Eric is nice.[(triple10)] Eric is rough.[(triple9)] @1: Alan is nice.[(((triple3 triple2) -> rule1))] Charlie is blue.[(((triple6 triple7) -> rule4))] Eric is blue.[(((triple9 triple10) -> rule4))] @2: Alan is blue.[(((triple1 ((triple3 triple2) -> rule1)) -> rule4))] @3: Alan is big.[(((((triple1 ((triple3 triple2) -> rule1)) -> rule4) triple4 triple3) -> rule5))]
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Eric is big.
("Eric" "is" "big" "+")
triple11
Eric is nice.
("Eric" "is" "nice" "+")
triple10
Eric is rough.
("Eric" "is" "rough" "+")
triple9
Alan is nice.
("Alan" "is" "nice" "+")
((triple3 triple2) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple6 triple7) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple9 triple10) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple1 ((triple3 triple2) -> (rule1 % int2))) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
((((triple1 ((triple3 triple2) -> (rule1 % int3))) -> (rule4 % int2)) triple4 triple3) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan has become rough with permanent red skin from working outdoors for so many years; He always feels cold; He is kind to both people and animals.
They always call him rough Bob.
Charlie is nice and kind, but a little rough.
Big Eric is nice but also rough.
I have found that if someone is kind and red, that they are quite often nice.
People who are blue, cold, and round are often kind.
A kind person with green and red skin must be big too.
I've found that people with rough skin tend to be really nice but they also often feel blue.
It is true that kind people who have become cold and blue and survived are necessarily big.
You will probably see that big, round, blue people are green, too.
A young and kind person with red rosy skin is cold.