In the snow sits Charlie, crying from being cold. Young Dave is a big, cold, rough person. One day Fred, 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. Although Gary is young and nice, he is as cold as ice. Someone might be red but blue from the cold dressing in green. Anyone that's rough and cold is also going to be blue. When a person's traits are to be big, blue and cold, they will also have a red trait. A young, nice person will turn out to be a green person also. A person who is kind but also rough and is also colored blue, will be shaped round.
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is cold and blue and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and cold and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice then they are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Dave is big.
True
1
proof
[(triple5)]
("Dave" "is" "big" "+")
triple5
Dave is not young.
False
1
inv-proof
[(triple2)]
("Dave" "is" "young" "-")
triple2
Dave is blue.
True
3
proof
[(((triple4 triple3) -> rule2))]
("Dave" "is" "blue" "+")
((triple4 triple3) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
3
inv-proof
[(((triple4 triple3) -> rule2))]
("Dave" "is" "blue" "-")
((triple4 triple3) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
True
6
proof
[(((triple5 triple4 ((triple4 triple3) -> rule2)) -> rule3))]
("Dave" "is" "red" "+")
((triple5 triple4 ((triple4 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not red.
False
6
inv-proof
[(((triple5 triple4 ((triple4 triple3) -> rule2)) -> rule3))]
("Dave" "is" "red" "-")
((triple5 triple4 ((triple4 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
True
11
proof
[(((triple4 ((triple4 triple3) -> rule2) ((triple5 triple4 ((triple4 triple3) -> rule2)) -> rule3)) -> rule1))]
("Dave" "is" "green" "+")
((triple4 ((triple4 triple3) -> (rule2 % int3)) ((triple5 triple4 ((triple4 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not green.
False
11
inv-proof
[(((triple4 ((triple4 triple3) -> rule2) ((triple5 triple4 ((triple4 triple3) -> rule2)) -> rule3)) -> rule1))]
("Dave" "is" "green" "-")
((triple4 ((triple4 triple3) -> (rule2 % int3)) ((triple5 triple4 ((triple4 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "red" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "round" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "round" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Charlie is cold.[(triple1)] Dave is big.[(triple5)] Dave is cold.[(triple4)] Dave is rough.[(triple3)] Dave is young.[(triple2)] Fred is cold.[(triple9)] Fred is green.[(triple8)] Fred is nice.[(triple7)] Fred is round.[(triple6)] Gary is cold.[(triple12)] Gary is nice.[(triple11)] Gary is young.[(triple10)] @1: Dave is blue.[(((triple4 triple3) -> rule2))] Gary is green.[(((triple10 triple11) -> rule4))] @2: Dave is red.[(((triple5 triple4 ((triple4 triple3) -> rule2)) -> rule3))] @3: Dave is green.[(((triple4 ((triple4 triple3) -> rule2) ((triple5 triple4 ((triple4 triple3) -> rule2)) -> rule3)) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple4 triple3) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple10 triple11) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple5 triple4 ((triple4 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((triple4 ((triple4 triple3) -> (rule2 % int3)) ((triple5 triple4 ((triple4 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
In the snow sits Charlie, crying from being cold.
Young Dave is a big, cold, rough person.
One day Fred, 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.
Although Gary is young and nice, he is as cold as ice.
Someone might be red but blue from the cold dressing in green.
Anyone that's rough and cold is also going to be blue.
When a person's traits are to be big, blue and cold, they will also have a red trait.
A young, nice person will turn out to be a green person also.
A person who is kind but also rough and is also colored blue, will be shaped round.