Red Charlie is what folks call him, because he is quite red. My friend Dave is very young. People say he is nice for having a round shape. Although Fred is round, he is intimidating because he is rough, red, cold, and very big. Harry is a nice round guy, which leads to him being red. It's said that any person with blue skin, round bones, and big feet is kind. There could be a round someone with red hair wearing blue pants. It is true that anyone who is cold while being young and nice is secretly a kind person. Most green and round people,though big are quite young. A green person that is cold is often considered to be red. If you color the young ones blue then they will be kind. Somebody having round, cold and kind traits is also sure to be young.
Charlie is red.
("Charlie" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is blue and round and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and round then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and cold and young then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and round and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and kind and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Fred is round.
True
1
proof
[(triple5)]
("Fred" "is" "round" "+")
triple5
Dave is not young.
False
1
inv-proof
[(triple2)]
("Dave" "is" "young" "-")
triple2
Fred is blue.
True
3
proof
[(((triple7 triple5) -> rule2))]
("Fred" "is" "blue" "+")
((triple7 triple5) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not blue.
False
3
inv-proof
[(((triple7 triple5) -> rule2))]
("Fred" "is" "blue" "-")
((triple7 triple5) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
True
6
proof
[(((((triple7 triple5) -> rule2) triple5 triple9) -> rule1))]
("Fred" "is" "kind" "+")
((((triple7 triple5) -> (rule2 % int2)) triple5 triple9) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not kind.
False
6
inv-proof
[(((((triple7 triple5) -> rule2) triple5 triple9) -> rule1))]
("Fred" "is" "kind" "-")
((((triple7 triple5) -> (rule2 % int2)) triple5 triple9) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
True
9
proof
[(((triple5 ((((triple7 triple5) -> rule2) triple5 triple9) -> rule1) triple8) -> rule7))]
("Fred" "is" "young" "+")
((triple5 ((((triple7 triple5) -> (rule2 % int3)) triple5 triple9) -> (rule1 % int2)) triple8) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not young.
False
9
inv-proof
[(((triple5 ((((triple7 triple5) -> rule2) triple5 triple9) -> rule1) triple8) -> rule7))]
("Fred" "is" "young" "-")
((triple5 ((((triple7 triple5) -> (rule2 % int3)) triple5 triple9) -> (rule1 % int2)) triple8) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is kind.
Unknown
rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Charlie" "is" "kind" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is kind.
Unknown
rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Harry" "is" "kind" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is red.[(triple1)] Dave is nice.[(triple4)] Dave is round.[(triple3)] Dave is young.[(triple2)] Fred is big.[(triple9)] Fred is cold.[(triple8)] Fred is red.[(triple7)] Fred is rough.[(triple6)] Fred is round.[(triple5)] Harry is nice.[(triple12)] Harry is red.[(triple11)] Harry is round.[(triple10)] @1: Fred is blue.[(((triple7 triple5) -> rule2))] Harry is blue.[(((triple11 triple10) -> rule2))] @2: Fred is kind.[(((((triple7 triple5) -> rule2) triple5 triple9) -> rule1))] @3: Fred is young.[(((triple5 ((((triple7 triple5) -> rule2) triple5 triple9) -> rule1) triple8) -> rule7))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Fred is blue.
("Fred" "is" "blue" "+")
((triple7 triple5) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple11 triple10) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((((triple7 triple5) -> (rule2 % int2)) triple5 triple9) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((triple5 ((((triple7 triple5) -> (rule2 % int3)) triple5 triple9) -> (rule1 % int2)) triple8) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Red Charlie is what folks call him, because he is quite red.
My friend Dave is very young; People say he is nice for having a round shape.
Although Fred is round, he is intimidating because he is rough, red, cold, and very big.
Harry is a nice round guy, which leads to him being red.
It's said that any person with blue skin, round bones, and big feet is kind.
There could be a round someone with red hair wearing blue pants.
It is true that anyone who is cold while being young and nice is secretly a kind person.
Most green and round people,though big are quite young.
A green person that is cold is often considered to be red.
If you color the young ones blue then they will be kind.
Somebody having round, cold and kind traits is also sure to be young.