They always call him rough Alan. Big, cold Charlie is a nice young guy who's a bit green about things. Because Dave gets cold easily he tends to appear round from bundling up. Eric is too young to be so big. Some say he is too green to be so blue as well. A green person who is kind and a bit blue is young. Nice green people and often blue with sadness. It's said that any person with blue skin, round bones, and big feet is kind. A good thing to remember is that rough and green people are round as well. A person who is red and green, will also tend to be round shaped and rough. A nice young person will be rough in texture.
Alan is rough.
("Alan" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is blue and kind and green then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and round and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and green then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round and green and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Alan is rough.
True
1
proof
[(triple1)]
("Alan" "is" "rough" "+")
triple1
Eric is not big.
False
1
inv-proof
[(triple12)]
("Eric" "is" "big" "-")
triple12
Charlie is rough.
True
3
proof
[(((triple2 triple3) -> rule6))]
("Charlie" "is" "rough" "+")
((triple2 triple3) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
3
inv-proof
[(((triple2 triple3) -> rule6))]
("Charlie" "is" "rough" "-")
((triple2 triple3) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
True
5
proof
[(((((triple2 triple3) -> rule6) triple4) -> rule4))]
("Charlie" "is" "round" "+")
((((triple2 triple3) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not round.
False
5
inv-proof
[(((((triple2 triple3) -> rule6) triple4) -> rule4))]
("Charlie" "is" "round" "-")
((((triple2 triple3) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
True
10
proof
[(((((triple4 triple3) -> rule2) ((((triple2 triple3) -> rule6) triple4) -> rule4) triple6) -> rule3))]
("Charlie" "is" "kind" "+")
((((triple4 triple3) -> (rule2 % int4)) ((((triple2 triple3) -> (rule6 % int3)) triple4) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is not kind.
False
10
inv-proof
[(((((triple4 triple3) -> rule2) ((((triple2 triple3) -> rule6) triple4) -> rule4) triple6) -> rule3))]
("Charlie" "is" "kind" "-")
((((triple4 triple3) -> (rule2 % int4)) ((((triple2 triple3) -> (rule6 % int3)) triple4) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "blue" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "rough" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Alan is rough.[(triple1)] Charlie is big.[(triple6)] Charlie is cold.[(triple5)] Charlie is green.[(triple4)] Charlie is nice.[(triple3)] Charlie is young.[(triple2)] Dave is cold.[(triple8)] Dave is round.[(triple7)] Eric is big.[(triple12)] Eric is blue.[(triple11)] Eric is green.[(triple10)] Eric is young.[(triple9)] @1: Charlie is blue.[(((triple4 triple3) -> rule2))] Charlie is rough.[(((triple2 triple3) -> rule6))] @2: Charlie is round.[(((((triple2 triple3) -> rule6) triple4) -> rule4))] @3: Charlie is kind.[(((((triple4 triple3) -> rule2) ((((triple2 triple3) -> rule6) triple4) -> rule4) triple6) -> rule3))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
Eric is big.
("Eric" "is" "big" "+")
triple12
Eric is blue.
("Eric" "is" "blue" "+")
triple11
Eric is green.
("Eric" "is" "green" "+")
triple10
Eric is young.
("Eric" "is" "young" "+")
triple9
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple4 triple3) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2 triple3) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple2 triple3) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple4 triple3) -> (rule2 % int4)) ((((triple2 triple3) -> (rule6 % int3)) triple4) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
They always call him rough Alan.
Big, cold Charlie is a nice young guy who's a bit green about things.
Because Dave gets cold easily he tends to appear round from bundling up.
Eric is too young to be so big; Some say he is too green to be so blue as well.
A green person who is kind and a bit blue is young.
Nice green people and often blue with sadness.
It's said that any person with blue skin, round bones, and big feet is kind.
A good thing to remember is that rough and green people are round as well.
A person who is red and green, will also tend to be round shaped and rough.
A nice young person will be rough in texture.