They always call him rough Bob. Charlie was born only a few years ago so he is young. Anyone dealing with Fred notices not only his round and rough qualities, but also that he's young, nice, cold and big. In the snow sits Harry, crying from being cold. People who are nice, round and wearing blue will have red cheeks. People who are rough, round in shape, and big in stature are usuallu blue in color. Big people who are red in color are often nice. If you can find someone who is nice and red, then be relieved that they are certain to be kind. If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold. A person who is red and green, will also tend to be round shaped and rough.
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
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 round and big then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and green and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and green and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Harry is cold.
True
1
proof
[(triple9)]
("Harry" "is" "cold" "+")
triple9
Fred is not cold.
False
1
inv-proof
[(triple7)]
("Fred" "is" "cold" "-")
triple7
Fred is blue.
True
4
proof
[(((triple5 triple4 triple8) -> rule2))]
("Fred" "is" "blue" "+")
((triple5 triple4 triple8) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not blue.
False
4
inv-proof
[(((triple5 triple4 triple8) -> rule2))]
("Fred" "is" "blue" "-")
((triple5 triple4 triple8) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
True
7
proof
[(((triple6 triple4 ((triple5 triple4 triple8) -> rule2)) -> rule1))]
("Fred" "is" "red" "+")
((triple6 triple4 ((triple5 triple4 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not red.
False
7
inv-proof
[(((triple6 triple4 ((triple5 triple4 triple8) -> rule2)) -> rule1))]
("Fred" "is" "red" "-")
((triple6 triple4 ((triple5 triple4 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
True
9
proof
[(((triple6 ((triple6 triple4 ((triple5 triple4 triple8) -> rule2)) -> rule1)) -> rule4))]
("Fred" "is" "kind" "+")
((triple6 ((triple6 triple4 ((triple5 triple4 triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not kind.
False
9
inv-proof
[(((triple6 ((triple6 triple4 ((triple5 triple4 triple8) -> rule2)) -> rule1)) -> rule4))]
("Fred" "is" "kind" "-")
((triple6 ((triple6 triple4 ((triple5 triple4 triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "rough" "-")
Charlie is kind.
Unknown
rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is rough.[(triple1)] Charlie is young.[(triple2)] Fred is big.[(triple8)] Fred is cold.[(triple7)] Fred is nice.[(triple6)] Fred is rough.[(triple5)] Fred is round.[(triple4)] Fred is young.[(triple3)] Harry is cold.[(triple9)] @1: Fred is blue.[(((triple5 triple4 triple8) -> rule2))] @2: Fred is red.[(((triple6 triple4 ((triple5 triple4 triple8) -> rule2)) -> rule1))] @3: Fred is kind.[(((triple6 ((triple6 triple4 ((triple5 triple4 triple8) -> rule2)) -> rule1)) -> rule4))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Fred is young.
("Fred" "is" "young" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Fred is blue.
("Fred" "is" "blue" "+")
((triple5 triple4 triple8) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple6 triple4 ((triple5 triple4 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((triple6 ((triple6 triple4 ((triple5 triple4 triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
They always call him rough Bob.
Charlie was born only a few years ago so he is young.
Anyone dealing with Fred notices not only his round and rough qualities, but also that he's young, nice, cold and big.
In the snow sits Harry, crying from being cold.
People who are nice, round and wearing blue will have red cheeks.
People who are rough, round in shape, and big in stature are usuallu blue in color.
Big people who are red in color are often nice.
If you can find someone who is nice and red, then be relieved that they are certain to be kind.
If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold.
A person who is red and green, will also tend to be round shaped and rough.