Young Charlie is a round fellow: sometimes nice, sometimes rough. Gary is a man who is both round and rough. Harry realized he was round and rough, and he decided to be nice and kind as well. Being a kind person even when you are blue is hard, but it means you are round with delight. Round people who feel rough also always feel cold,. If you can find someone who is nice and red, then be relieved that they are certain to be kind. When someone is blue, lives green they can be rough but kind. Rough people who are nice and have green thumbs are almost always young. A cold human with round and rough aspects is always kind. Anyone you know who is cold and kind must certainly be young.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is blue and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and green and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and round and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Charlie is nice.
True
1
proof
[(triple4)]
("Charlie" "is" "nice" "+")
triple4
Charlie is not nice.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "nice" "-")
triple4
Gary is cold.
True
3
proof
[(((triple5 triple6) -> rule2))]
("Gary" "is" "cold" "+")
((triple5 triple6) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Charlie is not cold.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("Charlie" "is" "cold" "-")
((triple2 triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Gary is kind.
True
6
proof
[(((((triple5 triple6) -> rule2) triple5 triple6) -> rule6))]
("Gary" "is" "kind" "+")
((((triple5 triple6) -> (rule2 % int2)) triple5 triple6) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not kind.
False
6
inv-proof
[(((((triple5 triple6) -> rule2) triple5 triple6) -> rule6))]
("Gary" "is" "kind" "-")
((((triple5 triple6) -> (rule2 % int2)) triple5 triple6) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
True
10
proof
[(((((triple5 triple6) -> rule2) ((((triple5 triple6) -> rule2) triple5 triple6) -> rule6)) -> rule7))]
("Gary" "is" "young" "+")
((((triple5 triple6) -> (rule2 % int3)) ((((triple5 triple6) -> (rule2 % int3)) triple5 triple6) -> (rule6 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not young.
False
10
inv-proof
[(((((triple5 triple6) -> rule2) ((((triple5 triple6) -> rule2) triple5 triple6) -> rule6)) -> rule7))]
("Gary" "is" "young" "-")
((((triple5 triple6) -> (rule2 % int3)) ((((triple5 triple6) -> (rule2 % int3)) triple5 triple6) -> (rule6 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is young.
Unknown
rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Dave" "is" "young" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Charlie is nice.[(triple4)] Charlie is rough.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1 OR ((((triple2 triple3) -> rule2) ((((triple2 triple3) -> rule2) triple2 triple3) -> rule6)) -> rule7))] Gary is rough.[(triple6)] Gary is round.[(triple5)] Harry is kind.[(triple10 OR ((((triple7 triple8) -> rule2) triple7 triple8) -> rule6))] Harry is nice.[(triple9)] Harry is rough.[(triple8)] Harry is round.[(triple7)] @1: Charlie is cold.[(((triple2 triple3) -> rule2))] Gary is cold.[(((triple5 triple6) -> rule2))] Harry is cold.[(((triple7 triple8) -> rule2))] @2: Charlie is kind.[(((((triple2 triple3) -> rule2) triple2 triple3) -> rule6))] Gary is kind.[(((((triple5 triple6) -> rule2) triple5 triple6) -> rule6))] Harry is young.[(((((triple7 triple8) -> rule2) triple10) -> rule7) OR ((((triple7 triple8) -> rule2) ((((triple7 triple8) -> rule2) triple7 triple8) -> rule6)) -> rule7))] @3: Gary is young.[(((((triple5 triple6) -> rule2) ((((triple5 triple6) -> rule2) triple5 triple6) -> rule6)) -> rule7))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
((((triple2 triple3) -> (rule2 % int3)) ((((triple2 triple3) -> (rule2 % int3)) triple2 triple3) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple10
((((triple7 triple8) -> (rule2 % int2)) triple7 triple8) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2 triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple5 triple6) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple7 triple8) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple2 triple3) -> (rule2 % int2)) triple2 triple3) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple5 triple6) -> (rule2 % int2)) triple5 triple6) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple7 triple8) -> (rule2 % int2)) triple10) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple7 triple8) -> (rule2 % int3)) ((((triple7 triple8) -> (rule2 % int3)) triple7 triple8) -> (rule6 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((triple5 triple6) -> (rule2 % int3)) ((((triple5 triple6) -> (rule2 % int3)) triple5 triple6) -> (rule6 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Young Charlie is a round fellow: sometimes nice, sometimes rough.
Gary is a man who is both round and rough.
Harry realized he was round and rough, and he decided to be nice and kind as well.
Being a kind person even when you are blue is hard, but it means you are round with delight.
Round people who feel rough also always feel cold,.
If you can find someone who is nice and red, then be relieved that they are certain to be kind.
When someone is blue, lives green they can be rough but kind.
Rough people who are nice and have green thumbs are almost always young.
A cold human with round and rough aspects is always kind.
Anyone you know who is cold and kind must certainly be young.