They always call him rough Alan. Bob may seem round and rough, but he's actually nice. Don't be intimidated by his blue skin and big body. Big Eric is nice but also rough. Red Gary is what folks call him, because he is quite red. People who are nice, round and wearing blue will have red cheeks. A young person with rough red skin is downhearted and blue. People who are blue and red and kind are described as being green. People with big hands and red, rough skin are terribly kind. As far as anyone can tell, whoever is kind, rough, and big is a round person. A young, nice person will turn out to be a green person also. A cold human with round and rough aspects is always kind.
Alan is rough.
("Alan" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is nice and round and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and young and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and kind and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and big and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and rough and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice then they are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and round and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Gary is red.
True
1
proof
[(triple10)]
("Gary" "is" "red" "+")
triple10
Eric is not nice.
False
1
inv-proof
[(triple8)]
("Eric" "is" "nice" "-")
triple8
Bob is red.
True
4
proof
[(((triple4 triple2 triple5) -> rule1))]
("Bob" "is" "red" "+")
((triple4 triple2 triple5) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
4
inv-proof
[(((triple4 triple2 triple5) -> rule1))]
("Bob" "is" "red" "-")
((triple4 triple2 triple5) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
True
7
proof
[(((triple3 triple6 ((triple4 triple2 triple5) -> rule1)) -> rule4))]
("Bob" "is" "kind" "+")
((triple3 triple6 ((triple4 triple2 triple5) -> (rule1 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not kind.
False
7
inv-proof
[(((triple3 triple6 ((triple4 triple2 triple5) -> rule1)) -> rule4))]
("Bob" "is" "kind" "-")
((triple3 triple6 ((triple4 triple2 triple5) -> (rule1 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
True
13
proof
[(((((triple4 triple2 triple5) -> rule1) ((triple3 triple6 ((triple4 triple2 triple5) -> rule1)) -> rule4) triple5) -> rule3))]
("Bob" "is" "green" "+")
((((triple4 triple2 triple5) -> (rule1 % int3)) ((triple3 triple6 ((triple4 triple2 triple5) -> (rule1 % int3))) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not green.
False
13
inv-proof
[(((((triple4 triple2 triple5) -> rule1) ((triple3 triple6 ((triple4 triple2 triple5) -> rule1)) -> rule4) triple5) -> rule3))]
("Bob" "is" "green" "-")
((((triple4 triple2 triple5) -> (rule1 % int3)) ((triple3 triple6 ((triple4 triple2 triple5) -> (rule1 % int3))) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Eric is not red.
Unknown
inv-rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Eric" "is" "red" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "round" "+")
Eric is not round.
Unknown
inv-rconc
[@3: Eric is round.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule1 <- FAIL)]]
("Eric" "is" "round" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Alan is rough.[(triple1)] Bob is big.[(triple6)] Bob is blue.[(triple5)] Bob is nice.[(triple4)] Bob is rough.[(triple3)] Bob is round.[(triple2)] Eric is big.[(triple9)] Eric is nice.[(triple8)] Eric is rough.[(triple7)] Gary is red.[(triple10)] @1: Bob is red.[(((triple4 triple2 triple5) -> rule1))] @2: Bob is kind.[(((triple3 triple6 ((triple4 triple2 triple5) -> rule1)) -> rule4))] @3: Bob is green.[(((((triple4 triple2 triple5) -> rule1) ((triple3 triple6 ((triple4 triple2 triple5) -> rule1)) -> rule4) triple5) -> rule3))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple10
Bob is red.
("Bob" "is" "red" "+")
((triple4 triple2 triple5) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple3 triple6 ((triple4 triple2 triple5) -> (rule1 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((((triple4 triple2 triple5) -> (rule1 % int3)) ((triple3 triple6 ((triple4 triple2 triple5) -> (rule1 % int3))) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
They always call him rough Alan.
Bob may seem round and rough, but he's actually nice; Don't be intimidated by his blue skin and big body.
Big Eric is nice but also rough.
Red Gary is what folks call him, because he is quite red.
People who are nice, round and wearing blue will have red cheeks.
A young person with rough red skin is downhearted and blue.
People who are blue and red and kind are described as being green.
People with big hands and red, rough skin are terribly kind.
As far as anyone can tell, whoever is kind, rough, and big is a round person.
A young, nice person will turn out to be a green person also.
A cold human with round and rough aspects is always kind.