In the snow sits Bob, crying from being cold. Because Fred gets cold easily he tends to appear round from bundling up. Harry is a young, round fellow who is red and green in color. He is also cold. Young people that are blue will still be kind because they are rough to the touch. A young person with a kind heart and big sized body will be rough around the edges. Being a young, round and kind individual means that you are also a blue individual. If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold. People who are cold and and red are also young and kind.
If someone is blue and young and kind then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and kind and big then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and round and kind then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
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 red and young and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Harry is green.
True
1
proof
[(triple7)]
("Harry" "is" "green" "+")
triple7
Harry is not young.
False
1
inv-proof
[(triple4)]
("Harry" "is" "young" "-")
triple4
Harry is kind.
True
4
proof
[(((triple6 triple4 triple8) -> rule5))]
("Harry" "is" "kind" "+")
((triple6 triple4 triple8) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
4
inv-proof
[(((triple6 triple4 triple8) -> rule5))]
("Harry" "is" "kind" "-")
((triple6 triple4 triple8) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
True
7
proof
[(((triple4 triple5 ((triple6 triple4 triple8) -> rule5)) -> rule3))]
("Harry" "is" "blue" "+")
((triple4 triple5 ((triple6 triple4 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not blue.
False
7
inv-proof
[(((triple4 triple5 ((triple6 triple4 triple8) -> rule5)) -> rule3))]
("Harry" "is" "blue" "-")
((triple4 triple5 ((triple6 triple4 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
True
13
proof
[(((((triple4 triple5 ((triple6 triple4 triple8) -> rule5)) -> rule3) triple4 ((triple6 triple4 triple8) -> rule5)) -> rule1))]
("Harry" "is" "rough" "+")
((((triple4 triple5 ((triple6 triple4 triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple4 ((triple6 triple4 triple8) -> (rule5 % int3))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not rough.
False
13
inv-proof
[(((((triple4 triple5 ((triple6 triple4 triple8) -> rule5)) -> rule3) triple4 ((triple6 triple4 triple8) -> rule5)) -> rule1))]
("Harry" "is" "rough" "-")
((((triple4 triple5 ((triple6 triple4 triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple4 ((triple6 triple4 triple8) -> (rule5 % int3))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "kind" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "rough" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "kind" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Bob is cold.[(triple1)] Fred is cold.[(triple3)] Fred is round.[(triple2)] Harry is cold.[(triple8)] Harry is green.[(triple7)] Harry is red.[(triple6)] Harry is round.[(triple5)] Harry is young.[(triple4)] @1: Harry is kind.[(((triple6 triple4 triple8) -> rule5))] @2: Harry is blue.[(((triple4 triple5 ((triple6 triple4 triple8) -> rule5)) -> rule3))] @3: Harry is rough.[(((((triple4 triple5 ((triple6 triple4 triple8) -> rule5)) -> rule3) triple4 ((triple6 triple4 triple8) -> rule5)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple3
Fred is round.
("Fred" "is" "round" "+")
triple2
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple5
Harry is young.
("Harry" "is" "young" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
((triple6 triple4 triple8) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple4 triple5 ((triple6 triple4 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((((triple4 triple5 ((triple6 triple4 triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple4 ((triple6 triple4 triple8) -> (rule5 % int3))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
In the snow sits Bob, crying from being cold.
Because Fred gets cold easily he tends to appear round from bundling up.
Harry is a young, round fellow who is red and green in color; He is also cold.
Young people that are blue will still be kind because they are rough to the touch.
A young person with a kind heart and big sized body will be rough around the edges.
Being a young, round and kind individual means that you are also a blue individual.
If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold.
People who are cold and and red are also young and kind.