I know Alan really well and you can say he is rough on the outside, cold on the inside and red all of the time. That rough but kind guy is Charlie, the green one. Eric is blue from ink he spilled on himself while being kind and helping some children paint. Big, round Gary is cold and very green. Red, kind, young people will be rough people, too. A person with a rough quality is also a person with a blue quality. Anyone you find who happens to be kind and blue will also be very nice. If a human is both young and kind, they are also cold. Blue people who are rough are often young.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is young and kind and red then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Gary is cold.
True
1
proof
[(triple11)]
("Gary" "is" "cold" "+")
triple11
Gary is not round.
False
1
inv-proof
[(triple9)]
("Gary" "is" "round" "-")
triple9
Eric is nice.
True
3
proof
[(((triple7 triple8) -> rule3))]
("Eric" "is" "nice" "+")
((triple7 triple8) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Charlie is not blue.
False
2
inv-proof
[(((triple4) -> rule2))]
("Charlie" "is" "blue" "-")
((triple4) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
True
4
proof
[(((triple4 ((triple4) -> rule2)) -> rule5))]
("Charlie" "is" "young" "+")
((triple4 ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not nice.
False
4
inv-proof
[(((triple5 ((triple4) -> rule2)) -> rule3))]
("Charlie" "is" "nice" "-")
((triple5 ((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
True
6
proof
[(((((triple4 ((triple4) -> rule2)) -> rule5) triple5) -> rule4))]
("Charlie" "is" "cold" "+")
((((triple4 ((triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not cold.
False
6
inv-proof
[(((((triple4 ((triple4) -> rule2)) -> rule5) triple5) -> rule4))]
("Charlie" "is" "cold" "-")
((((triple4 ((triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "nice" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "+")
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Eric is cold.
Unknown
rconc
[@3: Eric is cold.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule1 <- FAIL)]]
("Eric" "is" "cold" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Alan is cold.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Charlie is green.[(triple6)] Charlie is kind.[(triple5)] Charlie is rough.[(triple4)] Eric is blue.[(triple8)] Eric is kind.[(triple7)] Gary is big.[(triple12)] Gary is cold.[(triple11)] Gary is green.[(triple10)] Gary is round.[(triple9)] @1: Alan is blue.[(((triple1) -> rule2))] Charlie is blue.[(((triple4) -> rule2))] Eric is nice.[(((triple7 triple8) -> rule3))] @2: Alan is young.[(((triple1 ((triple1) -> rule2)) -> rule5))] Charlie is nice.[(((triple5 ((triple4) -> rule2)) -> rule3))] Charlie is young.[(((triple4 ((triple4) -> rule2)) -> rule5))] @3: Charlie is cold.[(((((triple4 ((triple4) -> rule2)) -> rule5) triple5) -> rule4))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Alan is blue.
("Alan" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple4) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple7 triple8) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5 ((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((triple4 ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple4 ((triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
I know Alan really well and you can say he is rough on the outside, cold on the inside and red all of the time.
That rough but kind guy is Charlie, the green one.
Eric is blue from ink he spilled on himself while being kind and helping some children paint.
Big, round Gary is cold and very green.
Red, kind, young people will be rough people, too.
A person with a rough quality is also a person with a blue quality.
Anyone you find who happens to be kind and blue will also be very nice.
If a human is both young and kind, they are also cold.
Blue people who are rough are often young.