Bob was born only a few years ago so he is young. That Charlie is as round and red as a cherry, and twice as kind. Young Dave knew he was round, but he hadn't realized how rough and kind he was. His green nature left him cold and numb to these facts. Gary is blue from ink he spilled on himself while being kind and helping some children paint. People who are red and round are usually assumed to be green. Don't be surprised to hear that all nice, kind folks are in fact rough. Someone being both nice and kind means that they are a big person. A young person with cold, rough skin will be red as well. Nice people who are green and red will also have round shapes. A cold, red, kind soul will also prove to be nice.
Bob is young.
("Bob" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is red and round then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is young and rough and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green and nice and red then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and cold and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Charlie is red.
True
1
proof
[(triple3)]
("Charlie" "is" "red" "+")
triple3
Gary is not blue.
False
1
inv-proof
[(triple12)]
("Gary" "is" "blue" "-")
triple12
Charlie is green.
True
3
proof
[(((triple3 triple2) -> rule1))]
("Charlie" "is" "green" "+")
((triple3 triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Dave is not red.
False
4
inv-proof
[(((triple5 triple7 triple10) -> rule4))]
("Dave" "is" "red" "-")
((triple5 triple7 triple10) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
True
7
proof
[(((triple8 triple10 ((triple5 triple7 triple10) -> rule4)) -> rule6))]
("Dave" "is" "nice" "+")
((triple8 triple10 ((triple5 triple7 triple10) -> (rule4 % int2))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not nice.
False
7
inv-proof
[(((triple8 triple10 ((triple5 triple7 triple10) -> rule4)) -> rule6))]
("Dave" "is" "nice" "-")
((triple8 triple10 ((triple5 triple7 triple10) -> (rule4 % int2))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
True
9
proof
[(((((triple8 triple10 ((triple5 triple7 triple10) -> rule4)) -> rule6) triple8) -> rule3))]
("Dave" "is" "big" "+")
((((triple8 triple10 ((triple5 triple7 triple10) -> (rule4 % int3))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not big.
False
9
inv-proof
[(((((triple8 triple10 ((triple5 triple7 triple10) -> rule4)) -> rule6) triple8) -> rule3))]
("Dave" "is" "big" "-")
((((triple8 triple10 ((triple5 triple7 triple10) -> (rule4 % int3))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is round.
Unknown
rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Bob" "is" "round" "+")
Charlie is not rough.
Unknown
inv-rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is young.[(triple1)] Charlie is kind.[(triple4)] Charlie is red.[(triple3)] Charlie is round.[(triple2)] Dave is cold.[(triple10)] Dave is green.[(triple9 OR ((((triple5 triple7 triple10) -> rule4) triple6) -> rule1))] Dave is kind.[(triple8)] Dave is rough.[(triple7)] Dave is round.[(triple6 OR ((triple9 ((triple8 triple10 ((triple5 triple7 triple10) -> rule4)) -> rule6) ((triple5 triple7 triple10) -> rule4)) -> rule5))] Dave is young.[(triple5)] Gary is blue.[(triple12)] Gary is kind.[(triple11)] @1: Charlie is green.[(((triple3 triple2) -> rule1))] Dave is red.[(((triple5 triple7 triple10) -> rule4))] @2: Dave is nice.[(((triple8 triple10 ((triple5 triple7 triple10) -> rule4)) -> rule6))] @3: Dave is big.[(((((triple8 triple10 ((triple5 triple7 triple10) -> rule4)) -> rule6) triple8) -> rule3))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
triple9
((((triple5 triple7 triple10) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
((triple9 ((triple8 triple10 ((triple5 triple7 triple10) -> (rule4 % int3))) -> (rule6 % int2)) ((triple5 triple7 triple10) -> (rule4 % int3))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Charlie is green.
("Charlie" "is" "green" "+")
((triple3 triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple5 triple7 triple10) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple8 triple10 ((triple5 triple7 triple10) -> (rule4 % int2))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((((triple8 triple10 ((triple5 triple7 triple10) -> (rule4 % int3))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Bob was born only a few years ago so he is young.
That Charlie is as round and red as a cherry, and twice as kind.
Young Dave knew he was round, but he hadn't realized how rough and kind he was; His green nature left him cold and numb to these facts.
Gary is blue from ink he spilled on himself while being kind and helping some children paint.
People who are red and round are usually assumed to be green.
Don't be surprised to hear that all nice, kind folks are in fact rough.
Someone being both nice and kind means that they are a big person.
A young person with cold, rough skin will be red as well.
Nice people who are green and red will also have round shapes.
A cold, red, kind soul will also prove to be nice.