From a certain angle Eric is blue but he is young so maybe that will go away. Fred is big and seems cold, but he's just green. Really, he is nice and often red with laughter. Gary, who is round, red, kind, and also green, tends to be rather blue. A red colored person who is kind and feels cold is usually considered nice. If a kind, red person is also feeling blue then he will be cold to outsiders. A rough person that is cold towards others is green. Don't be surprised to hear that all nice, kind folks are in fact rough. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.
Eric is young.
("Eric" "is" "young" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is red and kind and cold then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and red and blue then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Gary is green.
True
1
proof
[(triple11 OR ((((((triple9 triple10 ((triple10 triple9 triple12) -> rule2)) -> rule1) triple10) -> rule4) ((triple10 triple9 triple12) -> rule2)) -> rule3))]
("Gary" "is" "green" "+")
triple11
((((((triple9 triple10 ((triple10 triple9 triple12) -> (rule2 % int4))) -> (rule1 % int3)) triple10) -> (rule4 % int2)) ((triple10 triple9 triple12) -> (rule2 % int4))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Fred is not green.
False
1
inv-proof
[(triple5)]
("Fred" "is" "green" "-")
triple5
Gary is cold.
True
4
proof
[(((triple10 triple9 triple12) -> rule2))]
("Gary" "is" "cold" "+")
((triple10 triple9 triple12) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
4
inv-proof
[(((triple10 triple9 triple12) -> rule2))]
("Gary" "is" "cold" "-")
((triple10 triple9 triple12) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
True
7
proof
[(((triple9 triple10 ((triple10 triple9 triple12) -> rule2)) -> rule1))]
("Gary" "is" "nice" "+")
((triple9 triple10 ((triple10 triple9 triple12) -> (rule2 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not nice.
False
7
inv-proof
[(((triple9 triple10 ((triple10 triple9 triple12) -> rule2)) -> rule1))]
("Gary" "is" "nice" "-")
((triple9 triple10 ((triple10 triple9 triple12) -> (rule2 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
True
12
proof
[(((((triple10 triple9 triple12) -> rule2) ((triple9 triple10 ((triple10 triple9 triple12) -> rule2)) -> rule1)) -> rule5))]
("Gary" "is" "big" "+")
((((triple10 triple9 triple12) -> (rule2 % int3)) ((triple9 triple10 ((triple10 triple9 triple12) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not rough.
False
9
inv-proof
[(((((triple9 triple10 ((triple10 triple9 triple12) -> rule2)) -> rule1) triple10) -> rule4))]
("Gary" "is" "rough" "-")
((((triple9 triple10 ((triple10 triple9 triple12) -> (rule2 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Harry is not green.
Unknown
inv-rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "cold" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "rough" "-")
Harry is big.
Unknown
rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Eric is blue.[(triple2)] Eric is young.[(triple1)] Fred is big.[(triple7 OR ((triple6 triple4) -> rule5))] Fred is cold.[(triple6)] Fred is green.[(triple5)] Fred is nice.[(triple4)] Fred is red.[(triple3)] Gary is blue.[(triple12)] Gary is green.[(triple11 OR ((((((triple9 triple10 ((triple10 triple9 triple12) -> rule2)) -> rule1) triple10) -> rule4) ((triple10 triple9 triple12) -> rule2)) -> rule3))] Gary is kind.[(triple10)] Gary is red.[(triple9)] Gary is round.[(triple8)] @1: Gary is cold.[(((triple10 triple9 triple12) -> rule2))] @2: Gary is nice.[(((triple9 triple10 ((triple10 triple9 triple12) -> rule2)) -> rule1))] @3: Gary is big.[(((((triple10 triple9 triple12) -> rule2) ((triple9 triple10 ((triple10 triple9 triple12) -> rule2)) -> rule1)) -> rule5))] Gary is rough.[(((((triple9 triple10 ((triple10 triple9 triple12) -> rule2)) -> rule1) triple10) -> rule4))]
Eric is blue.
("Eric" "is" "blue" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple7
((triple6 triple4) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is nice.
("Fred" "is" "nice" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple11
((((((triple9 triple10 ((triple10 triple9 triple12) -> (rule2 % int4))) -> (rule1 % int3)) triple10) -> (rule4 % int2)) ((triple10 triple9 triple12) -> (rule2 % int4))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
((triple10 triple9 triple12) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple9 triple10 ((triple10 triple9 triple12) -> (rule2 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((triple10 triple9 triple12) -> (rule2 % int3)) ((triple9 triple10 ((triple10 triple9 triple12) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((triple9 triple10 ((triple10 triple9 triple12) -> (rule2 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
From a certain angle Eric is blue but he is young so maybe that will go away.
Fred is big and seems cold, but he's just green; Really, he is nice and often red with laughter.
Gary, who is round, red, kind, and also green, tends to be rather blue.
A red colored person who is kind and feels cold is usually considered nice.
If a kind, red person is also feeling blue then he will be cold to outsiders.
A rough person that is cold towards others is green.
Don't be surprised to hear that all nice, kind folks are in fact rough.
People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.