Young Alan is kind and perpetually cold, especially during the winter holidays when he is green and red. From a certain angle Bob is blue but he is young so maybe that will go away. Gary has rough skin that is tinged with both red and green.  He has a round shape and is nice to everyone he meets. All kind, red, and young people are also nice. Nice and kind people tend to live green lifestyle and arent very rough. People who are rough and green with envy are young. A big and round shaped person that is also cold will be blue in color. Blue people who are rough are often young. Someone who tends to be icy cold and rough but secretly nice are generally very blue. I have found that kind, rough people are both red and cold.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is kind and red and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and big and round then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and rough and nice then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and kind and rough then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Gary is rough.
True
1
proof
[(triple9)]
("Gary" "is" "rough" "+")
triple9
Gary is not nice.
False
1
inv-proof
[(triple11)]
("Gary" "is" "nice" "-")
triple11
Gary is young.
True
3
proof
[(((triple9 triple12) -> rule3))]
("Gary" "is" "young" "+")
((triple9 triple12) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Alan is not nice.
False
4
inv-proof
[(((triple3 triple2 triple1) -> rule1))]
("Alan" "is" "nice" "-")
((triple3 triple2 triple1) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
True
7
proof
[(((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2))]
("Alan" "is" "rough" "+")
((((triple3 triple2 triple1) -> (rule1 % int2)) triple3 triple4) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is not rough.
False
7
inv-proof
[(((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2))]
("Alan" "is" "rough" "-")
((((triple3 triple2 triple1) -> (rule1 % int2)) triple3 triple4) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is blue.
True
13
proof
[(((triple5 ((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2) ((triple3 triple2 triple1) -> rule1)) -> rule6) OR ((((triple2 triple3 ((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2)) -> rule7) ((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2) ((triple3 triple2 triple1) -> rule1)) -> rule6))]
("Alan" "is" "blue" "+")
((triple5 ((((triple3 triple2 triple1) -> (rule1 % int3)) triple3 triple4) -> (rule2 % int2)) ((triple3 triple2 triple1) -> (rule1 % int3))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
((((triple2 triple3 ((((triple3 triple2 triple1) -> (rule1 % int4)) triple3 triple4) -> (rule2 % int3))) -> (rule7 % int2)) ((((triple3 triple2 triple1) -> (rule1 % int4)) triple3 triple4) -> (rule2 % int3)) ((triple3 triple2 triple1) -> (rule1 % int4))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Alan is not blue.
False
13
inv-proof
[(((triple5 ((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2) ((triple3 triple2 triple1) -> rule1)) -> rule6) OR ((((triple2 triple3 ((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2)) -> rule7) ((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2) ((triple3 triple2 triple1) -> rule1)) -> rule6))]
("Alan" "is" "blue" "-")
((triple5 ((((triple3 triple2 triple1) -> (rule1 % int3)) triple3 triple4) -> (rule2 % int2)) ((triple3 triple2 triple1) -> (rule1 % int3))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
((((triple2 triple3 ((((triple3 triple2 triple1) -> (rule1 % int4)) triple3 triple4) -> (rule2 % int3))) -> (rule7 % int2)) ((((triple3 triple2 triple1) -> (rule1 % int4)) triple3 triple4) -> (rule2 % int3)) ((triple3 triple2 triple1) -> (rule1 % int4))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Eric is not young.
Unknown
inv-rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "cold" "+")
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "rough" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "nice" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Alan is cold.[(triple5 OR ((triple2 triple3 ((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2)) -> rule7))] Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple7)] Bob is young.[(triple6)] Gary is green.[(triple12)] Gary is nice.[(triple11)] Gary is red.[(triple10)] Gary is rough.[(triple9)] Gary is round.[(triple8)] @1: Alan is nice.[(((triple3 triple2 triple1) -> rule1))] Gary is young.[(((triple9 triple12) -> rule3))] @2: Alan is rough.[(((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2))] @3: Alan is blue.[(((triple5 ((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2) ((triple3 triple2 triple1) -> rule1)) -> rule6) OR ((((triple2 triple3 ((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2)) -> rule7) ((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2) ((triple3 triple2 triple1) -> rule1)) -> rule6))]
Alan is cold.
("Alan" "is" "cold" "+")
triple5
((triple2 triple3 ((((triple3 triple2 triple1) -> (rule1 % int3)) triple3 triple4) -> (rule2 % int2))) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Alan is nice.
("Alan" "is" "nice" "+")
((triple3 triple2 triple1) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple9 triple12) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((((triple3 triple2 triple1) -> (rule1 % int2)) triple3 triple4) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
((triple5 ((((triple3 triple2 triple1) -> (rule1 % int3)) triple3 triple4) -> (rule2 % int2)) ((triple3 triple2 triple1) -> (rule1 % int3))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
((((triple2 triple3 ((((triple3 triple2 triple1) -> (rule1 % int4)) triple3 triple4) -> (rule2 % int3))) -> (rule7 % int2)) ((((triple3 triple2 triple1) -> (rule1 % int4)) triple3 triple4) -> (rule2 % int3)) ((triple3 triple2 triple1) -> (rule1 % int4))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Young Alan is kind and perpetually cold, especially during the winter holidays when he is green and red.
From a certain angle Bob is blue but he is young so maybe that will go away.
Gary has rough skin that is tinged with both red and green; He has a round shape and is nice to everyone he meets.
All kind, red, and young people are also nice.
Nice and kind people tend to live green lifestyle and arent very rough.
People who are rough and green with envy are young.
A big and round shaped person that is also cold will be blue in color.
Blue people who are rough are often young.
Someone who tends to be icy cold and rough but secretly nice are generally very blue.
I have found that kind, rough people are both red and cold.