Alan wears all blue. Charlie is a kind and red colored guy. Because Fred gets cold easily he tends to appear round from bundling up. Harry is colored red and green. He is also young, rough and very cold. Kind people that are rough and round are also considered big. I've found that people with rough skin tend to be really nice but they also often feel blue. Any big, kind person that turns red is cold to the touch. I see it all the time, nice big people make equal a cold person. People who are round and young are also very nice. A person that is the color red will definitely be round shaped. A big and rough person who is blue is also considered to be green.
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is rough and kind and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and nice then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and big and kind then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and young then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and big and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Fred is cold.
True
1
proof
[(triple5)]
("Fred" "is" "cold" "+")
triple5
Harry is not rough.
False
1
inv-proof
[(triple7)]
("Harry" "is" "rough" "-")
triple7
Charlie is round.
True
2
proof
[(((triple2) -> rule6))]
("Charlie" "is" "round" "+")
((triple2) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple2) -> rule6))]
("Charlie" "is" "round" "-")
((triple2) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Harry is nice.
True
4
proof
[(((((triple8) -> rule6) triple6) -> rule5))]
("Harry" "is" "nice" "+")
((((triple8) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not nice.
False
4
inv-proof
[(((((triple8) -> rule6) triple6) -> rule5))]
("Harry" "is" "nice" "-")
((((triple8) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is blue.
True
6
proof
[(((triple7 ((((triple8) -> rule6) triple6) -> rule5)) -> rule2))]
("Harry" "is" "blue" "+")
((triple7 ((((triple8) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not blue.
False
6
inv-proof
[(((triple7 ((((triple8) -> rule6) triple6) -> rule5)) -> rule2))]
("Harry" "is" "blue" "-")
((triple7 ((((triple8) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "green" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "nice" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "nice" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "big" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Alan is blue.[(triple1)] Charlie is kind.[(triple3)] Charlie is red.[(triple2)] Fred is cold.[(triple5)] Fred is round.[(triple4)] Harry is cold.[(triple10)] Harry is green.[(triple9)] Harry is red.[(triple8)] Harry is rough.[(triple7)] Harry is young.[(triple6)] @1: Charlie is round.[(((triple2) -> rule6))] Harry is round.[(((triple8) -> rule6))] @2: Harry is nice.[(((((triple8) -> rule6) triple6) -> rule5))] @3: Harry is blue.[(((triple7 ((((triple8) -> rule6) triple6) -> rule5)) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
((triple2) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple8) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((((triple8) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple7 ((((triple8) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Alan wears all blue.
Charlie is a kind and red colored guy.
Because Fred gets cold easily he tends to appear round from bundling up.
Harry is colored red and green; He is also young, rough and very cold.
Kind people that are rough and round are also considered big.
I've found that people with rough skin tend to be really nice but they also often feel blue.
Any big, kind person that turns red is cold to the touch.
I see it all the time, nice big people make equal a cold person.
People who are round and young are also very nice.
A person that is the color red will definitely be round shaped.
A big and rough person who is blue is also considered to be green.