Most everyone considers Alan a rough fellow, but very kind. He's often categorized as blue, and he's big. That rough but kind guy is Bob, the green one. Charlie is rough but nice, big but cold. Gary always goes out of his way to show that he is kind to people. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. A male or female with rough, kind and round traits will surely have a nice quality, as well. Like a blueberry, a big blue person is round as anything. A person who is red and green, will also tend to be round shaped and rough. A blue and green colored person will be round in shape. A blue, rough and round person will also be a big person.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is rough and big and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and kind and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("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 round and green and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and rough and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Bob is kind.
True
1
proof
[(triple6)]
("Bob" "is" "kind" "+")
triple6
Bob is not kind.
False
1
inv-proof
[(triple6)]
("Bob" "is" "kind" "-")
triple6
Alan is round.
True
3
proof
[(((triple3 triple4) -> rule3))]
("Alan" "is" "round" "+")
((triple3 triple4) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is not round.
False
3
inv-proof
[(((triple3 triple4) -> rule3))]
("Alan" "is" "round" "-")
((triple3 triple4) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
True
6
proof
[(((triple1 triple2 ((triple3 triple4) -> rule3)) -> rule2))]
("Alan" "is" "nice" "+")
((triple1 triple2 ((triple3 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is not nice.
False
6
inv-proof
[(((triple1 triple2 ((triple3 triple4) -> rule3)) -> rule2))]
("Alan" "is" "nice" "-")
((triple1 triple2 ((triple3 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
True
9
proof
[(((triple1 triple4 ((triple1 triple2 ((triple3 triple4) -> rule3)) -> rule2)) -> rule1))]
("Alan" "is" "cold" "+")
((triple1 triple4 ((triple1 triple2 ((triple3 triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not cold.
False
9
inv-proof
[(((triple1 triple4 ((triple1 triple2 ((triple3 triple4) -> rule3)) -> rule2)) -> rule1))]
("Alan" "is" "cold" "-")
((triple1 triple4 ((triple1 triple2 ((triple3 triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Gary" "is" "nice" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "big" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "round" "-")
Bob is cold.
Unknown
rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Bob" "is" "cold" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is kind.[(triple2)] Alan is rough.[(triple1)] Bob is green.[(triple7)] Bob is kind.[(triple6)] Bob is rough.[(triple5)] Charlie is big.[(triple11)] Charlie is cold.[(triple10 OR ((triple8 triple11 triple9) -> rule1))] Charlie is nice.[(triple9)] Charlie is rough.[(triple8)] Gary is kind.[(triple12)] @1: Alan is round.[(((triple3 triple4) -> rule3))] @2: Alan is nice.[(((triple1 triple2 ((triple3 triple4) -> rule3)) -> rule2))] @3: Alan is cold.[(((triple1 triple4 ((triple1 triple2 ((triple3 triple4) -> rule3)) -> rule2)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Charlie is big.
("Charlie" "is" "big" "+")
triple11
Charlie is cold.
("Charlie" "is" "cold" "+")
triple10
((triple8 triple11 triple9) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Alan is round.
("Alan" "is" "round" "+")
((triple3 triple4) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((triple1 triple2 ((triple3 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((triple1 triple4 ((triple1 triple2 ((triple3 triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Most everyone considers Alan a rough fellow, but very kind; He's often categorized as blue, and he's big.
That rough but kind guy is Bob, the green one.
Charlie is rough but nice, big but cold.
Gary always goes out of his way to show that he is kind to people.
Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
Like a blueberry, a big blue person is round as anything.
A person who is red and green, will also tend to be round shaped and rough.
A blue and green colored person will be round in shape.
A blue, rough and round person will also be a big person.