Bob, who is nice and kind, can also be thought of as cold and rough. To the touch Charlie has rough, cold skin. Fred is young and green. He is big and is rough around the edges with tough red skin. Red Gary is what folks call him, because he is quite red. Young people who are big, downhearted, and blue are kind. Someone being both nice and kind means that they are a big person. Blue, young and round people are usually big. Nice people who are kind, despite their rough skin, are big hearted. A kind, young human will also be a blue human. People who are nice and cold are also green. There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and young and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and nice and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and kind and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Fred is rough.
True
1
proof
[(triple8)]
("Fred" "is" "rough" "+")
triple8
Charlie is not rough.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "rough" "-")
triple5
Bob is green.
True
3
proof
[(((triple2 triple4) -> rule6))]
("Bob" "is" "green" "+")
((triple2 triple4) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
3
inv-proof
[(((triple2 triple4) -> rule6))]
("Bob" "is" "green" "-")
((triple2 triple4) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
True
6
proof
[(((triple2 triple3 ((triple2 triple3) -> rule2)) -> rule7) OR ((triple2 triple3 ((triple3 triple2 triple1) -> rule4)) -> rule7))]
("Bob" "is" "young" "+")
((triple2 triple3 ((triple2 triple3) -> (rule2 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple2 triple3 ((triple3 triple2 triple1) -> (rule4 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not young.
False
6
inv-proof
[(((triple2 triple3 ((triple2 triple3) -> rule2)) -> rule7) OR ((triple2 triple3 ((triple3 triple2 triple1) -> rule4)) -> rule7))]
("Bob" "is" "young" "-")
((triple2 triple3 ((triple2 triple3) -> (rule2 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple2 triple3 ((triple3 triple2 triple1) -> (rule4 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
True
8
proof
[(((triple3 ((triple2 triple3 ((triple2 triple3) -> rule2)) -> rule7)) -> rule5) OR ((triple3 ((triple2 triple3 ((triple3 triple2 triple1) -> rule4)) -> rule7)) -> rule5))]
("Bob" "is" "blue" "+")
((triple3 ((triple2 triple3 ((triple2 triple3) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple3 ((triple2 triple3 ((triple3 triple2 triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not blue.
False
8
inv-proof
[(((triple3 ((triple2 triple3 ((triple2 triple3) -> rule2)) -> rule7)) -> rule5) OR ((triple3 ((triple2 triple3 ((triple3 triple2 triple1) -> rule4)) -> rule7)) -> rule5))]
("Bob" "is" "blue" "-")
((triple3 ((triple2 triple3 ((triple2 triple3) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple3 ((triple2 triple3 ((triple3 triple2 triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Charlie is not kind.
Unknown
inv-rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "kind" "-")
Fred is kind.
Unknown
rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Fred" "is" "kind" "+")
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is blue.
Unknown
rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Charlie is cold.[(triple6)] Charlie is rough.[(triple5)] Fred is big.[(triple11)] Fred is green.[(triple10)] Fred is red.[(triple9)] Fred is rough.[(triple8)] Fred is young.[(triple7)] Gary is red.[(triple12)] @1: Bob is big.[(((triple2 triple3) -> rule2) OR ((triple3 triple2 triple1) -> rule4))] Bob is green.[(((triple2 triple4) -> rule6))] @2: Bob is young.[(((triple2 triple3 ((triple2 triple3) -> rule2)) -> rule7) OR ((triple2 triple3 ((triple3 triple2 triple1) -> rule4)) -> rule7))] @3: Bob is blue.[(((triple3 ((triple2 triple3 ((triple2 triple3) -> rule2)) -> rule7)) -> rule5) OR ((triple3 ((triple2 triple3 ((triple3 triple2 triple1) -> rule4)) -> rule7)) -> rule5))]
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is green.
("Fred" "is" "green" "+")
triple10
Fred is red.
("Fred" "is" "red" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple12
Bob is big.
("Bob" "is" "big" "+")
((triple2 triple3) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple3 triple2 triple1) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple2 triple4) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple2 triple3 ((triple2 triple3) -> (rule2 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple2 triple3 ((triple3 triple2 triple1) -> (rule4 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple3 ((triple2 triple3 ((triple2 triple3) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple3 ((triple2 triple3 ((triple3 triple2 triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob, who is nice and kind, can also be thought of as cold and rough.
To the touch Charlie has rough, cold skin.
Fred is young and green; He is big and is rough around the edges with tough red skin.
Red Gary is what folks call him, because he is quite red.
Young people who are big, downhearted, and blue are kind.
Someone being both nice and kind means that they are a big person.
Blue, young and round people are usually big.
Nice people who are kind, despite their rough skin, are big hearted.
A kind, young human will also be a blue human.
People who are nice and cold are also green.
There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.