They always call him rough Alan. Dave's a round guy, and a red and green guy. That guy Gary is big, but he's always kind to little ones. Harry is very nice to people, but he's also rather big. Soon you will understand that big people are nice. A round person who is nice and feelin cold is usually rough in apperance. If you see someone who is red and green they are round, like Santa Claus. Don't be surprised to hear that all nice, kind folks are in fact rough. If someone is colored red but is cold, they tend to show a lot of green. A person who is round and nice is cold. Nice, kind people who look rough almost always feel cold.
Alan is rough.
("Alan" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and nice and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and round then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and kind and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Gary is big.
True
1
proof
[(triple6)]
("Gary" "is" "big" "+")
triple6
Dave is not green.
False
1
inv-proof
[(triple4)]
("Dave" "is" "green" "-")
triple4
Gary is nice.
True
2
proof
[(((triple6) -> rule1))]
("Gary" "is" "nice" "+")
((triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
2
inv-proof
[(((triple6) -> rule1))]
("Gary" "is" "nice" "-")
((triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
True
4
proof
[(((((triple6) -> rule1) triple5) -> rule4))]
("Gary" "is" "rough" "+")
((((triple6) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not rough.
False
4
inv-proof
[(((((triple6) -> rule1) triple5) -> rule4))]
("Gary" "is" "rough" "-")
((((triple6) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
True
8
proof
[(((((triple6) -> rule1) triple5 ((((triple6) -> rule1) triple5) -> rule4)) -> rule7))]
("Gary" "is" "cold" "+")
((((triple6) -> (rule1 % int3)) triple5 ((((triple6) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not cold.
False
8
inv-proof
[(((((triple6) -> rule1) triple5 ((((triple6) -> rule1) triple5) -> rule4)) -> rule7))]
("Gary" "is" "cold" "-")
((((triple6) -> (rule1 % int3)) triple5 ((((triple6) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Dave is not cold.
Unknown
inv-rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Harry" "is" "cold" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Alan is rough.[(triple1)] Dave is green.[(triple4)] Dave is red.[(triple3)] Dave is round.[(triple2 OR ((triple3 triple4) -> rule3))] Gary is big.[(triple6)] Gary is kind.[(triple5)] Harry is big.[(triple8)] Harry is nice.[(triple7 OR ((triple8) -> rule1))] @1: Gary is nice.[(((triple6) -> rule1))] @2: Gary is rough.[(((((triple6) -> rule1) triple5) -> rule4))] @3: Gary is cold.[(((((triple6) -> rule1) triple5 ((((triple6) -> rule1) triple5) -> rule4)) -> rule7))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
((triple3 triple4) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple7
((triple8) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((((triple6) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((triple6) -> (rule1 % int3)) triple5 ((((triple6) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
They always call him rough Alan.
Dave's a round guy, and a red and green guy.
That guy Gary is big, but he's always kind to little ones.
Harry is very nice to people, but he's also rather big.
Soon you will understand that big people are nice.
A round person who is nice and feelin cold is usually rough in apperance.
If you see someone who is red and green they are round, like Santa Claus.
Don't be surprised to hear that all nice, kind folks are in fact rough.
If someone is colored red but is cold, they tend to show a lot of green.
A person who is round and nice is cold.
Nice, kind people who look rough almost always feel cold.