Bob is so young and darling he is kind to all the old people on the block. Dave associated himself with green despite being covered head-to-toe in blue. Him being young and kind preceded him. Gary is blue and cold. Upon meeting Harry, you'll notice he's green and kind. People who can be kind when they are cold are fundamentally nice. Don't be surprised to hear that all nice, kind folks are in fact rough. When you know someone who is young and green you can count on them being nice to everyone. Young people tend to rough and nice, but they are also red.
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
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 nice and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and green then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and rough and nice then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Gary is blue.
True
1
proof
[(triple8)]
("Gary" "is" "blue" "+")
triple8
Harry is not kind.
False
1
inv-proof
[(triple9)]
("Harry" "is" "kind" "-")
triple9
Dave is nice.
True
3
proof
[(((triple3 triple5) -> rule3))]
("Dave" "is" "nice" "+")
((triple3 triple5) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple3 triple5) -> rule3))]
("Dave" "is" "nice" "-")
((triple3 triple5) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
True
5
proof
[(((((triple3 triple5) -> rule3) triple4) -> rule2))]
("Dave" "is" "rough" "+")
((((triple3 triple5) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not rough.
False
5
inv-proof
[(((((triple3 triple5) -> rule3) triple4) -> rule2))]
("Dave" "is" "rough" "-")
((((triple3 triple5) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
True
10
proof
[(((triple3 ((((triple3 triple5) -> rule3) triple4) -> rule2) ((triple3 triple5) -> rule3)) -> rule4))]
("Dave" "is" "red" "+")
((triple3 ((((triple3 triple5) -> (rule3 % int3)) triple4) -> (rule2 % int2)) ((triple3 triple5) -> (rule3 % int3))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not red.
False
10
inv-proof
[(((triple3 ((((triple3 triple5) -> rule3) triple4) -> rule2) ((triple3 triple5) -> rule3)) -> rule4))]
("Dave" "is" "red" "-")
((triple3 ((((triple3 triple5) -> (rule3 % int3)) triple4) -> (rule2 % int2)) ((triple3 triple5) -> (rule3 % int3))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Harry is rough.
Unknown
rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "red" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Bob is kind.[(triple2)] Bob is young.[(triple1)] Dave is blue.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4)] Dave is young.[(triple3)] Gary is blue.[(triple8)] Gary is cold.[(triple7)] Harry is green.[(triple10)] Harry is kind.[(triple9)] @1: Dave is nice.[(((triple3 triple5) -> rule3))] @2: Dave is rough.[(((((triple3 triple5) -> rule3) triple4) -> rule2))] @3: Dave is red.[(((triple3 ((((triple3 triple5) -> rule3) triple4) -> rule2) ((triple3 triple5) -> rule3)) -> rule4))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
((triple3 triple5) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((((triple3 triple5) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple3 ((((triple3 triple5) -> (rule3 % int3)) triple4) -> (rule2 % int2)) ((triple3 triple5) -> (rule3 % int3))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Bob is so young and darling he is kind to all the old people on the block.
Dave associated himself with green despite being covered head-to-toe in blue; Him being young and kind preceded him.
Gary is blue and cold.
Upon meeting Harry, you'll notice he's green and kind.
People who can be kind when they are cold are fundamentally nice.
Don't be surprised to hear that all nice, kind folks are in fact rough.
When you know someone who is young and green you can count on them being nice to everyone.
Young people tend to rough and nice, but they are also red.