Alan is known to be rough and green. Bob is a nice person, but he is both blue and red. Charlie wears all blue. Gary is a person who is young and also rough. He's also someone who is big and blue. Being a kind person even when you are blue is hard, but it means you are round with delight. I have found that if someone is kind and red, that they are quite often nice. Someone can be very nice and kind, and this means they are also green. When a nice blue person is also red, they get called rough. You will probably see that big, round, blue people are green, too. If you find that someone has rough blue skin they are always kind.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is blue and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and red and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
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 rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Alan is green.
True
1
proof
[(triple2)]
("Alan" "is" "green" "+")
triple2
Charlie is not blue.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "blue" "-")
triple6
Gary is kind.
True
3
proof
[(((triple8 triple9) -> rule6))]
("Gary" "is" "kind" "+")
((triple8 triple9) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
3
inv-proof
[(((triple8 triple9) -> rule6))]
("Gary" "is" "kind" "-")
((triple8 triple9) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
True
5
proof
[(((triple9 ((triple8 triple9) -> rule6)) -> rule1))]
("Gary" "is" "round" "+")
((triple9 ((triple8 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not round.
False
5
inv-proof
[(((triple9 ((triple8 triple9) -> rule6)) -> rule1))]
("Gary" "is" "round" "-")
((triple9 ((triple8 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Bob is green.
True
8
proof
[(((triple4 ((((triple4 triple3 triple5) -> rule4) triple5) -> rule6)) -> rule3))]
("Bob" "is" "green" "+")
((triple4 ((((triple4 triple3 triple5) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Gary is not green.
False
8
inv-proof
[(((((triple9 ((triple8 triple9) -> rule6)) -> rule1) triple10 triple9) -> rule5))]
("Gary" "is" "green" "-")
((((triple9 ((triple8 triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple10 triple9) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Charlie is not kind.
Unknown
inv-rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Charlie" "is" "kind" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "kind" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "round" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "rough" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Alan is green.[(triple2)] Alan is rough.[(triple1)] Bob is blue.[(triple5)] Bob is nice.[(triple4)] Bob is red.[(triple3)] Charlie is blue.[(triple6)] Gary is big.[(triple10)] Gary is blue.[(triple9)] Gary is rough.[(triple8)] Gary is young.[(triple7)] @1: Bob is rough.[(((triple4 triple3 triple5) -> rule4))] Gary is kind.[(((triple8 triple9) -> rule6))] @2: Bob is kind.[(((((triple4 triple3 triple5) -> rule4) triple5) -> rule6))] Gary is round.[(((triple9 ((triple8 triple9) -> rule6)) -> rule1))] @3: Bob is green.[(((triple4 ((((triple4 triple3 triple5) -> rule4) triple5) -> rule6)) -> rule3))] Bob is round.[(((triple5 ((((triple4 triple3 triple5) -> rule4) triple5) -> rule6)) -> rule1))] Gary is green.[(((((triple9 ((triple8 triple9) -> rule6)) -> rule1) triple10 triple9) -> rule5))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
((triple4 triple3 triple5) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple8 triple9) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple4 triple3 triple5) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple9 ((triple8 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple4 ((((triple4 triple3 triple5) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((triple5 ((((triple4 triple3 triple5) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((((triple9 ((triple8 triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple10 triple9) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Alan is known to be rough and green.
Bob is a nice person, but he is both blue and red.
Charlie wears all blue.
Gary is a person who is young and also rough; He's also someone who is big and blue.
Being a kind person even when you are blue is hard, but it means you are round with delight.
I have found that if someone is kind and red, that they are quite often nice.
Someone can be very nice and kind, and this means they are also green.
When a nice blue person is also red, they get called rough.
You will probably see that big, round, blue people are green, too.
If you find that someone has rough blue skin they are always kind.