Alan, that young round kid, is kind whenever he's blue. Bob is young but big for his age. Bob wasn't feeling well so he is a little green. Dave ate some rotten meat and now feels green. Gary is round shaped and green colored. I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion. A big, kind someone could also be cold in a green dress. A blue colored, nice but rough person is definitely young too. I've noticed that someone with a round shape is also green. Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake. Kind people,though green,tend to be nice.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is blue and nice and green then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is big and kind and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and blue and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is round and blue and red then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Dave is green.
True
1
proof
[(triple8)]
("Dave" "is" "green" "+")
triple8
Alan is not round.
False
1
inv-proof
[(triple2)]
("Alan" "is" "round" "-")
triple2
Alan is green.
True
2
proof
[(((triple2) -> rule4))]
("Alan" "is" "green" "+")
((triple2) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is not green.
False
2
inv-proof
[(((triple2) -> rule4))]
("Alan" "is" "green" "-")
((triple2) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
True
4
proof
[(((triple3 ((triple2) -> rule4)) -> rule6))]
("Alan" "is" "nice" "+")
((triple3 ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not nice.
False
4
inv-proof
[(((triple3 ((triple2) -> rule4)) -> rule6))]
("Alan" "is" "nice" "-")
((triple3 ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
True
8
proof
[(((triple4 ((triple3 ((triple2) -> rule4)) -> rule6) ((triple2) -> rule4)) -> rule1))]
("Alan" "is" "red" "+")
((triple4 ((triple3 ((triple2) -> (rule4 % int3))) -> (rule6 % int2)) ((triple2) -> (rule4 % int3))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not red.
False
8
inv-proof
[(((triple4 ((triple3 ((triple2) -> rule4)) -> rule6) ((triple2) -> rule4)) -> rule1))]
("Alan" "is" "red" "-")
((triple4 ((triple3 ((triple2) -> (rule4 % int3))) -> (rule6 % int2)) ((triple2) -> (rule4 % int3))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
True
11
proof
[(((triple2 triple4 ((triple4 ((triple3 ((triple2) -> rule4)) -> rule6) ((triple2) -> rule4)) -> rule1)) -> rule5))]
("Alan" "is" "cold" "+")
((triple2 triple4 ((triple4 ((triple3 ((triple2) -> (rule4 % int4))) -> (rule6 % int3)) ((triple2) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is not cold.
False
11
inv-proof
[(((triple2 triple4 ((triple4 ((triple3 ((triple2) -> rule4)) -> rule6) ((triple2) -> rule4)) -> rule1)) -> rule5))]
("Alan" "is" "cold" "-")
((triple2 triple4 ((triple4 ((triple3 ((triple2) -> (rule4 % int4))) -> (rule6 % int3)) ((triple2) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "+")
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "nice" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "nice" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Alan is blue.[(triple4)] Alan is kind.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple7)] Bob is green.[(triple6)] Bob is young.[(triple5)] Dave is green.[(triple8)] Gary is green.[(triple10 OR ((triple9) -> rule4))] Gary is round.[(triple9)] @1: Alan is green.[(((triple2) -> rule4))] @2: Alan is nice.[(((triple3 ((triple2) -> rule4)) -> rule6))] @3: Alan is red.[(((triple4 ((triple3 ((triple2) -> rule4)) -> rule6) ((triple2) -> rule4)) -> rule1))] @4: Alan is cold.[(((triple2 triple4 ((triple4 ((triple3 ((triple2) -> rule4)) -> rule6) ((triple2) -> rule4)) -> rule1)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple10
((triple9) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple9
Alan is green.
("Alan" "is" "green" "+")
((triple2) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((triple3 ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((triple4 ((triple3 ((triple2) -> (rule4 % int3))) -> (rule6 % int2)) ((triple2) -> (rule4 % int3))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
((triple2 triple4 ((triple4 ((triple3 ((triple2) -> (rule4 % int4))) -> (rule6 % int3)) ((triple2) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan, that young round kid, is kind whenever he's blue.
Bob is young but big for his age; Bob wasn't feeling well so he is a little green.
Dave ate some rotten meat and now feels green.
Gary is round shaped and green colored.
I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion.
A big, kind someone could also be cold in a green dress.
A blue colored, nice but rough person is definitely young too.
I've noticed that someone with a round shape is also green.
Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake.
Kind people,though green,tend to be nice.