Bob is colored blue and red. He is also kind and cold to the touch. Dave is big and tends to wear red shirts. One day Eric, a very nice old man with green ears, asked if I was as cold a block of ice. I said no but that I had heard that round people like him are cold blooded. They always call him rough Harry. When a young person has a round shape and feels blue, they will be green as well. Big, young people feel cold all the time. Green people with red round cheeks are young. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. Anybody that is big is also someone who is going to be blue. Blue people who are big tend to be rough. Blue people who are rough are often young.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is blue and round and young then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and green and round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and big and kind then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Eric is cold.
True
1
proof
[(triple10)]
("Eric" "is" "cold" "+")
triple10
Bob is not cold.
False
1
inv-proof
[(triple3)]
("Bob" "is" "cold" "-")
triple3
Dave is blue.
True
2
proof
[(((triple6) -> rule5))]
("Dave" "is" "blue" "+")
((triple6) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
2
inv-proof
[(((triple6) -> rule5))]
("Dave" "is" "blue" "-")
((triple6) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
True
4
proof
[(((((triple6) -> rule5) triple6) -> rule6))]
("Dave" "is" "rough" "+")
((((triple6) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not rough.
False
4
inv-proof
[(((((triple6) -> rule5) triple6) -> rule6))]
("Dave" "is" "rough" "-")
((((triple6) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
True
7
proof
[(((((((triple6) -> rule5) triple6) -> rule6) ((triple6) -> rule5)) -> rule7))]
("Dave" "is" "young" "+")
((((((triple6) -> (rule5 % int3)) triple6) -> (rule6 % int2)) ((triple6) -> (rule5 % int3))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not young.
False
7
inv-proof
[(((((((triple6) -> rule5) triple6) -> rule6) ((triple6) -> rule5)) -> rule7))]
("Dave" "is" "young" "-")
((((((triple6) -> (rule5 % int3)) triple6) -> (rule6 % int2)) ((triple6) -> (rule5 % int3))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
True
9
proof
[(((((((((triple6) -> rule5) triple6) -> rule6) ((triple6) -> rule5)) -> rule7) triple6) -> rule2))]
("Dave" "is" "cold" "+")
((((((((triple6) -> (rule5 % int4)) triple6) -> (rule6 % int3)) ((triple6) -> (rule5 % int4))) -> (rule7 % int2)) triple6) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is not cold.
False
9
inv-proof
[(((((((((triple6) -> rule5) triple6) -> rule6) ((triple6) -> rule5)) -> rule7) triple6) -> rule2))]
("Dave" "is" "cold" "-")
((((((((triple6) -> (rule5 % int4)) triple6) -> (rule6 % int3)) ((triple6) -> (rule5 % int4))) -> (rule7 % int2)) triple6) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Harry is young.
Unknown
rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "blue" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "rough" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Bob is blue.[(triple4)] Bob is cold.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Dave is big.[(triple6)] Dave is red.[(triple5)] Eric is cold.[(triple10)] Eric is green.[(triple9)] Eric is nice.[(triple8)] Eric is round.[(triple7)] Harry is rough.[(triple11)] @1: Dave is blue.[(((triple6) -> rule5))] @2: Dave is rough.[(((((triple6) -> rule5) triple6) -> rule6))] @3: Dave is young.[(((((((triple6) -> rule5) triple6) -> rule6) ((triple6) -> rule5)) -> rule7))] @4: Dave is cold.[(((((((((triple6) -> rule5) triple6) -> rule6) ((triple6) -> rule5)) -> rule7) triple6) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Eric is cold.
("Eric" "is" "cold" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Dave is blue.
("Dave" "is" "blue" "+")
((triple6) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((((triple6) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((((triple6) -> (rule5 % int3)) triple6) -> (rule6 % int2)) ((triple6) -> (rule5 % int3))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((((((((triple6) -> (rule5 % int4)) triple6) -> (rule6 % int3)) ((triple6) -> (rule5 % int4))) -> (rule7 % int2)) triple6) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Bob is colored blue and red; He is also kind and cold to the touch.
Dave is big and tends to wear red shirts.
One day Eric, a very nice old man with green ears, asked if I was as cold a block of ice; I said no but that I had heard that round people like him are cold blooded.
They always call him rough Harry.
When a young person has a round shape and feels blue, they will be green as well.
Big, young people feel cold all the time.
Green people with red round cheeks are young.
Somebody whose descriptors are nice, big and kind will also fit a young descriptor.
Anybody that is big is also someone who is going to be blue.
Blue people who are big tend to be rough.
Blue people who are rough are often young.