Because Bob, who is young, loves to eat he is quite round.  Sometimes that makes him feel blue and get rough with people who make fun of him.  But he is actually quite kind. Red Charlie is what folks call him, because he is quite red. Fred always goes out of his way to show that he is kind to people. People think Harry is nice and kind for someone so young.  Harry wears his favorite color green all the time. Everyone that is rough but also kind will be green. A kind and green person who is rough around the edges is cold. Any big, kind person that turns red is cold to the touch. A rough and round person is also a big person. A cold and blue appearing person will be young as well. People blue with cold are definitely green and new in these parts. Young, kind people have the trait of being cold and are also very nice to interact with.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is kind and rough then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is green and rough and kind then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
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 round and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and blue then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and young and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Charlie is red.
True
1
proof
[(triple6)]
("Charlie" "is" "red" "+")
triple6
Harry is not young.
False
1
inv-proof
[(triple8)]
("Harry" "is" "young" "-")
triple8
Bob is big.
True
3
proof
[(((triple2 triple3) -> rule4))]
("Bob" "is" "big" "+")
((triple2 triple3) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple2 triple3) -> rule4))]
("Bob" "is" "big" "-")
((triple2 triple3) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
True
6
proof
[(((((triple4 triple3) -> rule1) triple3 triple4) -> rule2))]
("Bob" "is" "cold" "+")
((((triple4 triple3) -> (rule1 % int2)) triple3 triple4) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not cold.
False
6
inv-proof
[(((((triple4 triple3) -> rule1) triple3 triple4) -> rule2))]
("Bob" "is" "cold" "-")
((((triple4 triple3) -> (rule1 % int2)) triple3 triple4) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
True
9
proof
[(((((((triple4 triple3) -> rule1) triple3 triple4) -> rule2) triple1 triple4) -> rule7) OR ((((((triple4 triple3) -> rule1) triple3 triple4) -> rule2) ((((((triple4 triple3) -> rule1) triple3 triple4) -> rule2) triple5) -> rule5) triple4) -> rule7))]
("Bob" "is" "nice" "+")
((((((triple4 triple3) -> (rule1 % int3)) triple3 triple4) -> (rule2 % int2)) triple1 triple4) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 triple3) -> (rule1 % int4)) triple3 triple4) -> (rule2 % int3)) ((((((triple4 triple3) -> (rule1 % int4)) triple3 triple4) -> (rule2 % int3)) triple5) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is not nice.
False
9
inv-proof
[(((((((triple4 triple3) -> rule1) triple3 triple4) -> rule2) triple1 triple4) -> rule7) OR ((((((triple4 triple3) -> rule1) triple3 triple4) -> rule2) ((((((triple4 triple3) -> rule1) triple3 triple4) -> rule2) triple5) -> rule5) triple4) -> rule7))]
("Bob" "is" "nice" "-")
((((((triple4 triple3) -> (rule1 % int3)) triple3 triple4) -> (rule2 % int2)) triple1 triple4) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 triple3) -> (rule1 % int4)) triple3 triple4) -> (rule2 % int3)) ((((((triple4 triple3) -> (rule1 % int4)) triple3 triple4) -> (rule2 % int3)) triple5) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "big" "-")
Fred is nice.
Unknown
rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "cold" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "big" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Bob is blue.[(triple5)] Bob is kind.[(triple4)] Bob is rough.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1 OR ((((((triple4 triple3) -> rule1) triple3 triple4) -> rule2) triple5) -> rule5))] Charlie is red.[(triple6)] Fred is kind.[(triple7)] Harry is green.[(triple11)] Harry is kind.[(triple10)] Harry is nice.[(triple9)] Harry is young.[(triple8)] @1: Bob is big.[(((triple2 triple3) -> rule4))] Bob is green.[(((triple4 triple3) -> rule1))] @2: Bob is cold.[(((((triple4 triple3) -> rule1) triple3 triple4) -> rule2))] @3: Bob is nice.[(((((((triple4 triple3) -> rule1) triple3 triple4) -> rule2) triple1 triple4) -> rule7) OR ((((((triple4 triple3) -> rule1) triple3 triple4) -> rule2) ((((((triple4 triple3) -> rule1) triple3 triple4) -> rule2) triple5) -> rule5) triple4) -> rule7))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
((((((triple4 triple3) -> (rule1 % int3)) triple3 triple4) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Bob is big.
("Bob" "is" "big" "+")
((triple2 triple3) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple4 triple3) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple4 triple3) -> (rule1 % int2)) triple3 triple4) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple4 triple3) -> (rule1 % int3)) triple3 triple4) -> (rule2 % int2)) triple1 triple4) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 triple3) -> (rule1 % int4)) triple3 triple4) -> (rule2 % int3)) ((((((triple4 triple3) -> (rule1 % int4)) triple3 triple4) -> (rule2 % int3)) triple5) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Because Bob, who is young, loves to eat he is quite round; Sometimes that makes him feel blue and get rough with people who make fun of him; But he is actually quite kind.
Red Charlie is what folks call him, because he is quite red.
Fred always goes out of his way to show that he is kind to people.
People think Harry is nice and kind for someone so young; Harry wears his favorite color green all the time.
Everyone that is rough but also kind will be green.
A kind and green person who is rough around the edges is cold.
Any big, kind person that turns red is cold to the touch.
A rough and round person is also a big person.
A cold and blue appearing person will be young as well.
People blue with cold are definitely green and new in these parts.
Young, kind people have the trait of being cold and are also very nice to interact with.