Alan ate some rotten meat and now feels green. Blue and green Bob is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Fred, like all young people, is nice. They always call him rough Harry. Rough people are often always nice. Those who are nice but a bit rough around the edges are known for being blue. When a person can be described as blue, rough and round, you can call them nice at the same time. Like a blueberry, a big blue person is round as anything. If you find that someone has rough blue skin they are always kind.
Alan is green.
("Alan" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and rough then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and blue and rough then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Alan is green.
True
1
proof
[(triple1)]
("Alan" "is" "green" "+")
triple1
Fred is not nice.
False
1
inv-proof
[(triple6)]
("Fred" "is" "nice" "-")
triple6
Harry is nice.
True
2
proof
[(((triple7) -> rule1))]
("Harry" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple7) -> rule1))]
("Harry" "is" "nice" "-")
((triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
True
4
proof
[(((((triple7) -> rule1) triple7) -> rule2))]
("Harry" "is" "blue" "+")
((((triple7) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not blue.
False
4
inv-proof
[(((((triple7) -> rule1) triple7) -> rule2))]
("Harry" "is" "blue" "-")
((((triple7) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
True
6
proof
[(((triple7 ((((triple7) -> rule1) triple7) -> rule2)) -> rule5))]
("Harry" "is" "kind" "+")
((triple7 ((((triple7) -> (rule1 % int3)) triple7) -> (rule2 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not kind.
False
6
inv-proof
[(((triple7 ((((triple7) -> rule1) triple7) -> rule2)) -> rule5))]
("Harry" "is" "kind" "-")
((triple7 ((((triple7) -> (rule1 % int3)) triple7) -> (rule2 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "blue" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "kind" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "blue" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Alan is green.[(triple1)] Bob is blue.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Fred is nice.[(triple6)] Fred is young.[(triple5)] Harry is rough.[(triple7)] @1: Harry is nice.[(((triple7) -> rule1))] @2: Harry is blue.[(((((triple7) -> rule1) triple7) -> rule2))] @3: Harry is kind.[(((triple7 ((((triple7) -> rule1) triple7) -> rule2)) -> rule5))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((((triple7) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple7 ((((triple7) -> (rule1 % int3)) triple7) -> (rule2 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Alan ate some rotten meat and now feels green.
Blue and green Bob is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
Fred, like all young people, is nice.
They always call him rough Harry.
Rough people are often always nice.
Those who are nice but a bit rough around the edges are known for being blue.
When a person can be described as blue, rough and round, you can call them nice at the same time.
Like a blueberry, a big blue person is round as anything.
If you find that someone has rough blue skin they are always kind.