Alan is so young and darling he is kind to all the old people on the block. Charlie is green, which is a possible explanation for why he is so nice. I knew Eric was young, and rough, but he surprised me with how cold and blue he acted. Big and green people who feel cold are usually young in age. Often, when you meet a rough person with red skin, you'll see that they are young too. If someone is colored red but is cold, they tend to show a lot of green. Young people green with envy are so focused on themselves that they are often describe as cold. That is misleading though because these people are also kind. People who are blue and cold are red.
Alan is young.
("Alan" "is" "young" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is green and big and cold then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and red then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is green and cold and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and cold then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Alan is kind.
True
1
proof
[(triple2)]
("Alan" "is" "kind" "+")
triple2
Eric is not young.
False
1
inv-proof
[(triple5 OR ((triple6 ((triple8 triple7) -> rule5)) -> rule2))]
("Eric" "is" "young" "-")
triple5
((triple6 ((triple8 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is red.
True
3
proof
[(((triple8 triple7) -> rule5))]
("Eric" "is" "red" "+")
((triple8 triple7) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not red.
False
3
inv-proof
[(((triple8 triple7) -> rule5))]
("Eric" "is" "red" "-")
((triple8 triple7) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is green.
True
5
proof
[(((((triple8 triple7) -> rule5) triple7) -> rule3))]
("Eric" "is" "green" "+")
((((triple8 triple7) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not green.
False
5
inv-proof
[(((((triple8 triple7) -> rule5) triple7) -> rule3))]
("Eric" "is" "green" "-")
((((triple8 triple7) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
True
8
proof
[(((((((triple8 triple7) -> rule5) triple7) -> rule3) triple7 triple5) -> rule4) OR ((((((triple8 triple7) -> rule5) triple7) -> rule3) triple7 ((triple6 ((triple8 triple7) -> rule5)) -> rule2)) -> rule4))]
("Eric" "is" "kind" "+")
((((((triple8 triple7) -> (rule5 % int3)) triple7) -> (rule3 % int2)) triple7 triple5) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
((((((triple8 triple7) -> (rule5 % int4)) triple7) -> (rule3 % int3)) triple7 ((triple6 ((triple8 triple7) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Eric is not kind.
False
8
inv-proof
[(((((((triple8 triple7) -> rule5) triple7) -> rule3) triple7 triple5) -> rule4) OR ((((((triple8 triple7) -> rule5) triple7) -> rule3) triple7 ((triple6 ((triple8 triple7) -> rule5)) -> rule2)) -> rule4))]
("Eric" "is" "kind" "-")
((((((triple8 triple7) -> (rule5 % int3)) triple7) -> (rule3 % int2)) triple7 triple5) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
((((((triple8 triple7) -> (rule5 % int4)) triple7) -> (rule3 % int3)) triple7 ((triple6 ((triple8 triple7) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "kind" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "kind" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "red" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Alan is kind.[(triple2)] Alan is young.[(triple1)] Charlie is green.[(triple4)] Charlie is nice.[(triple3)] Eric is blue.[(triple8)] Eric is cold.[(triple7)] Eric is rough.[(triple6)] Eric is young.[(triple5 OR ((triple6 ((triple8 triple7) -> rule5)) -> rule2))] @1: Eric is red.[(((triple8 triple7) -> rule5))] @2: Eric is green.[(((((triple8 triple7) -> rule5) triple7) -> rule3))] @3: Eric is kind.[(((((((triple8 triple7) -> rule5) triple7) -> rule3) triple7 triple5) -> rule4) OR ((((((triple8 triple7) -> rule5) triple7) -> rule3) triple7 ((triple6 ((triple8 triple7) -> rule5)) -> rule2)) -> rule4))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
((triple6 ((triple8 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((triple8 triple7) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((((triple8 triple7) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((((((triple8 triple7) -> (rule5 % int3)) triple7) -> (rule3 % int2)) triple7 triple5) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
((((((triple8 triple7) -> (rule5 % int4)) triple7) -> (rule3 % int3)) triple7 ((triple6 ((triple8 triple7) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Alan is so young and darling he is kind to all the old people on the block.
Charlie is green, which is a possible explanation for why he is so nice.
I knew Eric was young, and rough, but he surprised me with how cold and blue he acted.
Big and green people who feel cold are usually young in age.
Often, when you meet a rough person with red skin, you'll see that they are young too.
If someone is colored red but is cold, they tend to show a lot of green.
Young people green with envy are so focused on themselves that they are often describe as cold; That is misleading though because these people are also kind.
People who are blue and cold are red.