Charlie was kind despite being rough. And because he was so big, Charlie constantly felt cold. Young Dave got into a fight that left him with red sores on his face. In the snow sits Gary, crying from being cold. That man standing next to you with a big round body goes by the name of Harry. Because someone is green and kind they are extremely nice to people. Big round people who wear red clothing will also wear a lot of green jewelry. People that are big and cold are blue as well. A round shaped and rough person will be blue as well. Don't be surprised to hear that all nice, kind folks are in fact rough. A big and round shaped person that is also cold will be blue in color. A big and rough person who is blue is also considered to be green.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and red and round then they are green.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and big and round then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and big and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Gary is cold.
True
1
proof
[(triple7)]
("Gary" "is" "cold" "+")
triple7
Charlie is not rough.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "rough" "-")
triple1
Charlie is blue.
True
3
proof
[(((triple4 triple3) -> rule3))]
("Charlie" "is" "blue" "+")
((triple4 triple3) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
3
inv-proof
[(((triple4 triple3) -> rule3))]
("Charlie" "is" "blue" "-")
((triple4 triple3) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
True
6
proof
[(((triple1 triple4 ((triple4 triple3) -> rule3)) -> rule7))]
("Charlie" "is" "green" "+")
((triple1 triple4 ((triple4 triple3) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not green.
False
6
inv-proof
[(((triple1 triple4 ((triple4 triple3) -> rule3)) -> rule7))]
("Charlie" "is" "green" "-")
((triple1 triple4 ((triple4 triple3) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
True
8
proof
[(((((triple1 triple4 ((triple4 triple3) -> rule3)) -> rule7) triple2) -> rule1))]
("Charlie" "is" "nice" "+")
((((triple1 triple4 ((triple4 triple3) -> (rule3 % int3))) -> (rule7 % int2)) triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not nice.
False
8
inv-proof
[(((((triple1 triple4 ((triple4 triple3) -> rule3)) -> rule7) triple2) -> rule1))]
("Charlie" "is" "nice" "-")
((((triple1 triple4 ((triple4 triple3) -> (rule3 % int3))) -> (rule7 % int2)) triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "rough" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "blue" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "green" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Charlie is big.[(triple4)] Charlie is cold.[(triple3)] Charlie is kind.[(triple2)] Charlie is rough.[(triple1)] Dave is red.[(triple6)] Dave is young.[(triple5)] Gary is cold.[(triple7)] Harry is big.[(triple9)] Harry is round.[(triple8)] @1: Charlie is blue.[(((triple4 triple3) -> rule3))] @2: Charlie is green.[(((triple1 triple4 ((triple4 triple3) -> rule3)) -> rule7))] @3: Charlie is nice.[(((((triple1 triple4 ((triple4 triple3) -> rule3)) -> rule7) triple2) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple4 triple3) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple1 triple4 ((triple4 triple3) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple1 triple4 ((triple4 triple3) -> (rule3 % int3))) -> (rule7 % int2)) triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie was kind despite being rough; And because he was so big, Charlie constantly felt cold.
Young Dave got into a fight that left him with red sores on his face.
In the snow sits Gary, crying from being cold.
That man standing next to you with a big round body goes by the name of Harry.
Because someone is green and kind they are extremely nice to people.
Big round people who wear red clothing will also wear a lot of green jewelry.
People that are big and cold are blue as well.
A round shaped and rough person will be blue as well.
Don't be surprised to hear that all nice, kind folks are in fact rough.
A big and round shaped person that is also cold will be blue in color.
A big and rough person who is blue is also considered to be green.