Alan wears all blue. They always call him rough Bob. Dave, like all young people, is nice. Harry is rough and cold, but he's young and will get over it. If someone is cold and young, you'll see that they are kind. Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue. A rough, big soul is sure to be nice, too. Young people with red, flushed cheeks who are rough around the edges are really quite nice. Nobody who is round and rough and big can keep themselves from being nice. Kind people who are nice find that they must also be rough. If you run into a cold and kind person, they are always big.
Alan is blue.
("Alan" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is cold and young then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and rough and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and young and rough then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and rough and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Harry is cold.
True
1
proof
[(triple7)]
("Harry" "is" "cold" "+")
triple7
Harry is not young.
False
1
inv-proof
[(triple5)]
("Harry" "is" "young" "-")
triple5
Harry is kind.
True
3
proof
[(((triple7 triple5) -> rule1))]
("Harry" "is" "kind" "+")
((triple7 triple5) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple7 triple5) -> rule1))]
("Harry" "is" "kind" "-")
((triple7 triple5) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
True
6
proof
[(((((triple7 triple5) -> rule1) triple6 triple5) -> rule2))]
("Harry" "is" "blue" "+")
((((triple7 triple5) -> (rule1 % int2)) triple6 triple5) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not blue.
False
6
inv-proof
[(((((triple7 triple5) -> rule1) triple6 triple5) -> rule2))]
("Harry" "is" "blue" "-")
((((triple7 triple5) -> (rule1 % int2)) triple6 triple5) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
True
7
proof
[(((triple6 ((triple7 ((triple7 triple5) -> rule1)) -> rule7)) -> rule3))]
("Harry" "is" "nice" "+")
((triple6 ((triple7 ((triple7 triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not nice.
False
7
inv-proof
[(((triple6 ((triple7 ((triple7 triple5) -> rule1)) -> rule7)) -> rule3))]
("Harry" "is" "nice" "-")
((triple6 ((triple7 ((triple7 triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Alan is rough.
Unknown
rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Alan" "is" "rough" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "big" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
@0: Alan is blue.[(triple1)] Bob is rough.[(triple2)] Dave is nice.[(triple4)] Dave is young.[(triple3)] Harry is cold.[(triple7)] Harry is rough.[(triple6)] Harry is young.[(triple5)] @1: Harry is kind.[(((triple7 triple5) -> rule1))] @2: Harry is big.[(((triple7 ((triple7 triple5) -> rule1)) -> rule7))] Harry is blue.[(((((triple7 triple5) -> rule1) triple6 triple5) -> rule2))] @3: Harry is nice.[(((triple6 ((triple7 ((triple7 triple5) -> rule1)) -> rule7)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
((triple7 triple5) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple7 ((triple7 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple7 triple5) -> (rule1 % int2)) triple6 triple5) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple6 ((triple7 ((triple7 triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Alan wears all blue.
They always call him rough Bob.
Dave, like all young people, is nice.
Harry is rough and cold, but he's young and will get over it.
If someone is cold and young, you'll see that they are kind.
Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue.
A rough, big soul is sure to be nice, too.
Young people with red, flushed cheeks who are rough around the edges are really quite nice.
Nobody who is round and rough and big can keep themselves from being nice.
Kind people who are nice find that they must also be rough.
If you run into a cold and kind person, they are always big.