Red Bob is what folks call him, because he is quite red. Fred was young, had red eyes and green hair. On top of that he was big and had cold hands. Gary is a very kind, green but sometimes cold person. Harry's a round guy, and a red and green guy. People who can be kind when they are cold are fundamentally nice. Almost all of the young blue and red people I have seen are big as well. Young people green with envy are so focused on themselves that they are often describe as cold. That is misleading though because these people are also kind. A big, nice, blue person is likely to be young. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color. Young people that are also red and green, may be fairly rough, also. People who are nice and kind are somewhat young.
Bob is red.
("Bob" "is" "red" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is kind and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and blue and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is green and cold and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and nice and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and cold and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and green and young then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and nice then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Fred is cold.
True
1
proof
[(triple5)]
("Fred" "is" "cold" "+")
triple5
Harry is not green.
False
1
inv-proof
[(triple12)]
("Harry" "is" "green" "-")
triple12
Gary is nice.
True
3
proof
[(((triple7 triple9) -> rule1))]
("Gary" "is" "nice" "+")
((triple7 triple9) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Fred is not rough.
False
4
inv-proof
[(((triple3 triple4 triple2) -> rule6))]
("Fred" "is" "rough" "-")
((triple3 triple4 triple2) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
True
6
proof
[(((((triple4 triple5 triple2) -> rule3) triple5) -> rule1))]
("Fred" "is" "nice" "+")
((((triple4 triple5 triple2) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Gary is not young.
False
5
inv-proof
[(((triple7 ((triple7 triple9) -> rule1)) -> rule7))]
("Gary" "is" "young" "-")
((triple7 ((triple7 triple9) -> (rule1 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Fred is blue.
True
9
proof
[(((((((triple4 triple5 triple2) -> rule3) triple5) -> rule1) triple5 triple6) -> rule5))]
("Fred" "is" "blue" "+")
((((((triple4 triple5 triple2) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple5 triple6) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not blue.
False
9
inv-proof
[(((((((triple4 triple5 triple2) -> rule3) triple5) -> rule1) triple5 triple6) -> rule5))]
("Fred" "is" "blue" "-")
((((((triple4 triple5 triple2) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple5 triple6) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is big.
Unknown
rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Harry" "is" "big" "+")
Bob is not young.
Unknown
inv-rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is big.
Unknown
rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Bob" "is" "big" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is red.[(triple1)] Fred is big.[(triple6)] Fred is cold.[(triple5)] Fred is green.[(triple4)] Fred is red.[(triple3)] Fred is young.[(triple2)] Gary is cold.[(triple9)] Gary is green.[(triple8)] Gary is kind.[(triple7)] Harry is green.[(triple12)] Harry is red.[(triple11)] Harry is round.[(triple10)] @1: Fred is kind.[(((triple4 triple5 triple2) -> rule3))] Fred is rough.[(((triple3 triple4 triple2) -> rule6))] Gary is nice.[(((triple7 triple9) -> rule1))] @2: Fred is nice.[(((((triple4 triple5 triple2) -> rule3) triple5) -> rule1))] Gary is young.[(((triple7 ((triple7 triple9) -> rule1)) -> rule7))] @3: Fred is blue.[(((((((triple4 triple5 triple2) -> rule3) triple5) -> rule1) triple5 triple6) -> rule5))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Fred is green.
("Fred" "is" "green" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
triple3
Fred is young.
("Fred" "is" "young" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
((triple4 triple5 triple2) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple3 triple4 triple2) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple7 triple9) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((((triple4 triple5 triple2) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple7 ((triple7 triple9) -> (rule1 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((((((triple4 triple5 triple2) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple5 triple6) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Red Bob is what folks call him, because he is quite red.
Fred was young, had red eyes and green hair; On top of that he was big and had cold hands.
Gary is a very kind, green but sometimes cold person.
Harry's a round guy, and a red and green guy.
People who can be kind when they are cold are fundamentally nice.
Almost all of the young blue and red people I have seen are big as well.
Young people green with envy are so focused on themselves that they are often describe as cold; That is misleading though because these people are also kind.
A big, nice, blue person is likely to be young.
Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.
Young people that are also red and green, may be fairly rough, also.
People who are nice and kind are somewhat young.