In the snow sits Dave, crying from being cold. If you met Fred you would find him nice, blue, cold and quite big. They always call him rough Gary. Blue and green Harry is so kind he snowplows the neighbors driveways and everyone thanks him with beer. If people are cold they are often red. I've found that people with rough skin tend to be really nice but they also often feel blue. Blue and red people are often rough. It is true that anyone who is cold while being young and nice is secretly a kind person. Someone who's young and frosty cold are actually very nice. A big person with cold, rough skin is going to be green as well.
Dave is cold.
("Dave" "is" "cold" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and nice then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and cold and young then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and cold and rough then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Harry is blue.
True
1
proof
[(triple9)]
("Harry" "is" "blue" "+")
triple9
Dave is not cold.
False
1
inv-proof
[(triple1)]
("Dave" "is" "cold" "-")
triple1
Fred is red.
True
2
proof
[(((triple3) -> rule1))]
("Fred" "is" "red" "+")
((triple3) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is not red.
False
2
inv-proof
[(((triple3) -> rule1))]
("Fred" "is" "red" "-")
((triple3) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
True
4
proof
[(((triple4 ((triple3) -> rule1)) -> rule3))]
("Fred" "is" "rough" "+")
((triple4 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is not rough.
False
4
inv-proof
[(((triple4 ((triple3) -> rule1)) -> rule3))]
("Fred" "is" "rough" "-")
((triple4 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is green.
True
7
proof
[(((triple5 triple3 ((triple4 ((triple3) -> rule1)) -> rule3)) -> rule6))]
("Fred" "is" "green" "+")
((triple5 triple3 ((triple4 ((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not green.
False
7
inv-proof
[(((triple5 triple3 ((triple4 ((triple3) -> rule1)) -> rule3)) -> rule6))]
("Fred" "is" "green" "-")
((triple5 triple3 ((triple4 ((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Dave" "is" "blue" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "nice" "+")
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Gary" "is" "blue" "-")
Dave is rough.
Unknown
rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Dave" "is" "rough" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Dave is cold.[(triple1)] Fred is big.[(triple5)] Fred is blue.[(triple4)] Fred is cold.[(triple3)] Fred is nice.[(triple2)] Gary is rough.[(triple6)] Harry is blue.[(triple9)] Harry is green.[(triple8)] Harry is kind.[(triple7)] @1: Dave is red.[(((triple1) -> rule1))] Fred is red.[(((triple3) -> rule1))] @2: Fred is rough.[(((triple4 ((triple3) -> rule1)) -> rule3))] @3: Fred is green.[(((triple5 triple3 ((triple4 ((triple3) -> rule1)) -> rule3)) -> rule6))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple4
Fred is cold.
("Fred" "is" "cold" "+")
triple3
Fred is nice.
("Fred" "is" "nice" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
((triple1) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple3) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple4 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((triple5 triple3 ((triple4 ((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
In the snow sits Dave, crying from being cold.
If you met Fred you would find him nice, blue, cold and quite big.
They always call him rough Gary.
Blue and green Harry is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
If people are cold they are often red.
I've found that people with rough skin tend to be really nice but they also often feel blue.
Blue and red people are often rough.
It is true that anyone who is cold while being young and nice is secretly a kind person.
Someone who's young and frosty cold are actually very nice.
A big person with cold, rough skin is going to be green as well.