Charlie is nice but he's pretty inexperienced, pretty green. He's too big to fit in the hot tub so he stays cold which makes him blue. Eric was born only a few years ago so he is young. Even though he's a big dude, Gary is cold. Harry is nice person, who was red colored due to a sunburn, was feeling rough because he is cold. Those who are nice but a bit rough around the edges are known for being blue. Young people who are big, downhearted, and blue are kind. Kind big people are green and young. Big, kind, and nice people are often red in color. If a person behaves in a nice way while they are physically blue and big, they're definitely round. Big, green people that feel blue are mostly young.
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is nice and rough then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and green and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is big and kind and nice then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big and green and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Gary is cold.
True
1
proof
[(triple7)]
("Gary" "is" "cold" "+")
triple7
Harry is not cold.
False
1
inv-proof
[(triple12)]
("Harry" "is" "cold" "-")
triple12
Harry is blue.
True
3
proof
[(((triple11 triple9) -> rule1))]
("Harry" "is" "blue" "+")
((triple11 triple9) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Charlie is not young.
False
4
inv-proof
[(((triple5 triple2 triple4) -> rule6))]
("Charlie" "is" "young" "-")
((triple5 triple2 triple4) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
True
7
proof
[(((triple5 triple4 ((triple5 triple2 triple4) -> rule6)) -> rule2))]
("Charlie" "is" "kind" "+")
((triple5 triple4 ((triple5 triple2 triple4) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not kind.
False
7
inv-proof
[(((triple5 triple4 ((triple5 triple2 triple4) -> rule6)) -> rule2))]
("Charlie" "is" "kind" "-")
((triple5 triple4 ((triple5 triple2 triple4) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
True
10
proof
[(((triple5 ((triple5 triple4 ((triple5 triple2 triple4) -> rule6)) -> rule2) triple1) -> rule4))]
("Charlie" "is" "red" "+")
((triple5 ((triple5 triple4 ((triple5 triple2 triple4) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not red.
False
10
inv-proof
[(((triple5 ((triple5 triple4 ((triple5 triple2 triple4) -> rule6)) -> rule2) triple1) -> rule4))]
("Charlie" "is" "red" "-")
((triple5 ((triple5 triple4 ((triple5 triple2 triple4) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "red" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "kind" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "round" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Charlie is big.[(triple5)] Charlie is blue.[(triple4)] Charlie is cold.[(triple3)] Charlie is green.[(triple2)] Charlie is nice.[(triple1)] Eric is young.[(triple6)] Gary is big.[(triple8)] Gary is cold.[(triple7)] Harry is cold.[(triple12)] Harry is nice.[(triple11)] Harry is red.[(triple10)] Harry is rough.[(triple9)] @1: Charlie is round.[(((triple1 triple4 triple5) -> rule5))] Charlie is young.[(((triple5 triple2 triple4) -> rule6))] Harry is blue.[(((triple11 triple9) -> rule1))] @2: Charlie is kind.[(((triple5 triple4 ((triple5 triple2 triple4) -> rule6)) -> rule2))] @3: Charlie is red.[(((triple5 ((triple5 triple4 ((triple5 triple2 triple4) -> rule6)) -> rule2) triple1) -> rule4))]
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Eric is young.
("Eric" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
((triple1 triple4 triple5) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple5 triple2 triple4) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple11 triple9) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5 triple4 ((triple5 triple2 triple4) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((triple5 ((triple5 triple4 ((triple5 triple2 triple4) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice but he's pretty inexperienced, pretty green; He's too big to fit in the hot tub so he stays cold which makes him blue.
Eric was born only a few years ago so he is young.
Even though he's a big dude, Gary is cold.
Harry is nice person, who was red colored due to a sunburn, was feeling rough because he is cold.
Those who are nice but a bit rough around the edges are known for being blue.
Young people who are big, downhearted, and blue are kind.
Kind big people are green and young.
Big, kind, and nice people are often red in color.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.
Big, green people that feel blue are mostly young.