In the snow sits Dave, crying from being cold. Even though he's a big dude, Eric is cold. Fred is a round shaped but rough person, and is nice with the color blue. Gary always goes out of his way to show that he is kind to people. If you have a big and round shape then you are going to be young, too. Lucky for us, people that are round and red are kind to strangers. When someone feels blue and rough, they might be described as green. People who are big and kind and feel down and blue tend to have rough skin. A round and blue individual will also be a cold individual. A green person that is cold is often considered to be red. Young and nice people are ultimately cold.
Dave is cold.
("Dave" "is" "cold" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is round and big then they are young.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and big and blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Gary is kind.
True
1
proof
[(triple8)]
("Gary" "is" "kind" "+")
triple8
Eric is not big.
False
1
inv-proof
[(triple3)]
("Eric" "is" "big" "-")
triple3
Fred is cold.
True
3
proof
[(((triple4 triple7) -> rule5))]
("Fred" "is" "cold" "+")
((triple4 triple7) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is not green.
False
3
inv-proof
[(((triple7 triple5) -> rule3))]
("Fred" "is" "green" "-")
((triple7 triple5) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
True
7
proof
[(((((triple7 triple5) -> rule3) ((triple4 triple7) -> rule5)) -> rule6))]
("Fred" "is" "red" "+")
((((triple7 triple5) -> (rule3 % int3)) ((triple4 triple7) -> (rule5 % int2))) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not red.
False
7
inv-proof
[(((((triple7 triple5) -> rule3) ((triple4 triple7) -> rule5)) -> rule6))]
("Fred" "is" "red" "-")
((((triple7 triple5) -> (rule3 % int3)) ((triple4 triple7) -> (rule5 % int2))) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is kind.
True
9
proof
[(((triple4 ((((triple7 triple5) -> rule3) ((triple4 triple7) -> rule5)) -> rule6)) -> rule2))]
("Fred" "is" "kind" "+")
((triple4 ((((triple7 triple5) -> (rule3 % int4)) ((triple4 triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
Fred is not kind.
False
9
inv-proof
[(((triple4 ((((triple7 triple5) -> rule3) ((triple4 triple7) -> rule5)) -> rule6)) -> rule2))]
("Fred" "is" "kind" "-")
((triple4 ((((triple7 triple5) -> (rule3 % int4)) ((triple4 triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "green" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "green" "+")
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "kind" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "rough" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Dave is cold.[(triple1)] Eric is big.[(triple3)] Eric is cold.[(triple2)] Fred is blue.[(triple7)] Fred is nice.[(triple6)] Fred is rough.[(triple5)] Fred is round.[(triple4)] Gary is kind.[(triple8)] @1: Fred is cold.[(((triple4 triple7) -> rule5))] Fred is green.[(((triple7 triple5) -> rule3))] @2: Fred is red.[(((((triple7 triple5) -> rule3) ((triple4 triple7) -> rule5)) -> rule6))] @3: Fred is kind.[(((triple4 ((((triple7 triple5) -> rule3) ((triple4 triple7) -> rule5)) -> rule6)) -> rule2))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple2
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
((triple4 triple7) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple7 triple5) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((((triple7 triple5) -> (rule3 % int3)) ((triple4 triple7) -> (rule5 % int2))) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
((triple4 ((((triple7 triple5) -> (rule3 % int4)) ((triple4 triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
In the snow sits Dave, crying from being cold.
Even though he's a big dude, Eric is cold.
Fred is a round shaped but rough person, and is nice with the color blue.
Gary always goes out of his way to show that he is kind to people.
If you have a big and round shape then you are going to be young, too.
Lucky for us, people that are round and red are kind to strangers.
When someone feels blue and rough, they might be described as green.
People who are big and kind and feel down and blue tend to have rough skin.
A round and blue individual will also be a cold individual.
A green person that is cold is often considered to be red.
Young and nice people are ultimately cold.