In the snow sits Charlie, crying from being cold. Dave is big and rough. Eric's a young guy. He's a cold, blue and big guy, too. That guy Gary is big, but he's always kind to little ones. People that are big and cold are blue as well. Young, round, and cold people have a habit of looking pretty red. Being a young, round and kind individual means that you are also a blue individual. I see it all the time, nice big people make equal a cold person. A rough, big soul is sure to be nice, too. If you color the young ones blue then they will be kind. Being green, blue, and red all point to how young someone was.
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and young and round then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is young and round and kind then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Dave is rough.
True
1
proof
[(triple2)]
("Dave" "is" "rough" "+")
triple2
Eric is not cold.
False
1
inv-proof
[(triple5)]
("Eric" "is" "cold" "-")
triple5
Dave is nice.
True
3
proof
[(((triple2 triple3) -> rule5))]
("Dave" "is" "nice" "+")
((triple2 triple3) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple2 triple3) -> rule5))]
("Dave" "is" "nice" "-")
((triple2 triple3) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
True
5
proof
[(((((triple2 triple3) -> rule5) triple3) -> rule4))]
("Dave" "is" "cold" "+")
((((triple2 triple3) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not cold.
False
5
inv-proof
[(((((triple2 triple3) -> rule5) triple3) -> rule4))]
("Dave" "is" "cold" "-")
((((triple2 triple3) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
True
7
proof
[(((triple3 ((((triple2 triple3) -> rule5) triple3) -> rule4)) -> rule1))]
("Dave" "is" "blue" "+")
((triple3 ((((triple2 triple3) -> (rule5 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not blue.
False
7
inv-proof
[(((triple3 ((((triple2 triple3) -> rule5) triple3) -> rule4)) -> rule1))]
("Dave" "is" "blue" "-")
((triple3 ((((triple2 triple3) -> (rule5 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "red" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "young" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "young" "-")
Gary is cold.
Unknown
rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Gary" "is" "cold" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Charlie is cold.[(triple1)] Dave is big.[(triple3)] Dave is rough.[(triple2)] Eric is big.[(triple7)] Eric is blue.[(triple6 OR ((triple7 triple5) -> rule1))] Eric is cold.[(triple5)] Eric is young.[(triple4)] Gary is big.[(triple9)] Gary is kind.[(triple8)] @1: Dave is nice.[(((triple2 triple3) -> rule5))] Eric is kind.[(((triple6 triple4) -> rule6) OR ((((triple7 triple5) -> rule1) triple4) -> rule6))] @2: Dave is cold.[(((((triple2 triple3) -> rule5) triple3) -> rule4))] @3: Dave is blue.[(((triple3 ((((triple2 triple3) -> rule5) triple3) -> rule4)) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
triple6
((triple7 triple5) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
((triple2 triple3) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple6 triple4) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
((((triple7 triple5) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((((triple2 triple3) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((triple3 ((((triple2 triple3) -> (rule5 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
In the snow sits Charlie, crying from being cold.
Dave is big and rough.
Eric's a young guy; He's a cold, blue and big guy, too.
That guy Gary is big, but he's always kind to little ones.
People that are big and cold are blue as well.
Young, round, and cold people have a habit of looking pretty red.
Being a young, round and kind individual means that you are also a blue individual.
I see it all the time, nice big people make equal a cold person.
A rough, big soul is sure to be nice, too.
If you color the young ones blue then they will be kind.
Being green, blue, and red all point to how young someone was.