In the snow sits Alan, crying from being cold. Eric is young but big for his age. Eric wasn't feeling well so he is a little green. Red Gary is what folks call him, because he is quite red. Nice, but round, Harry has been said to be cold. Because someone is green and kind they are extremely nice to people. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. Cold and rough people will also surely be round shaped. Nice young people who are round are also blue. Young and kind folks are always big. Have you noticed that green and round folks are also so young. People who are nice and cold are also green.
Alan is cold.
("Alan" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and big and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and young and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is green and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Eric is young.
True
1
proof
[(triple2)]
("Eric" "is" "young" "+")
triple2
Eric is not young.
False
1
inv-proof
[(triple2)]
("Eric" "is" "young" "-")
triple2
Harry is green.
True
3
proof
[(((triple7 triple8) -> rule7))]
("Harry" "is" "green" "+")
((triple7 triple8) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
3
inv-proof
[(((triple7 triple8) -> rule7))]
("Harry" "is" "green" "-")
((triple7 triple8) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
True
5
proof
[(((((triple7 triple8) -> rule7) triple6) -> rule6))]
("Harry" "is" "young" "+")
((((triple7 triple8) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not young.
False
5
inv-proof
[(((((triple7 triple8) -> rule7) triple6) -> rule6))]
("Harry" "is" "young" "-")
((((triple7 triple8) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
True
8
proof
[(((triple7 ((((triple7 triple8) -> rule7) triple6) -> rule6) triple6) -> rule4))]
("Harry" "is" "blue" "+")
((triple7 ((((triple7 triple8) -> (rule7 % int3)) triple6) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not blue.
False
8
inv-proof
[(((triple7 ((((triple7 triple8) -> rule7) triple6) -> rule6) triple6) -> rule4))]
("Harry" "is" "blue" "-")
((triple7 ((((triple7 triple8) -> (rule7 % int3)) triple6) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "round" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "nice" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Alan is cold.[(triple1)] Eric is big.[(triple4)] Eric is green.[(triple3)] Eric is young.[(triple2)] Gary is red.[(triple5)] Harry is cold.[(triple8)] Harry is nice.[(triple7)] Harry is round.[(triple6)] @1: Harry is green.[(((triple7 triple8) -> rule7))] @2: Harry is young.[(((((triple7 triple8) -> rule7) triple6) -> rule6))] @3: Harry is blue.[(((triple7 ((((triple7 triple8) -> rule7) triple6) -> rule6) triple6) -> rule4))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple4
Eric is green.
("Eric" "is" "green" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
((triple7 triple8) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((((triple7 triple8) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple7 ((((triple7 triple8) -> (rule7 % int3)) triple6) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
In the snow sits Alan, crying from being cold.
Eric is young but big for his age; Eric wasn't feeling well so he is a little green.
Red Gary is what folks call him, because he is quite red.
Nice, but round, Harry has been said to be cold.
Because someone is green and kind they are extremely nice to people.
Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others.
Cold and rough people will also surely be round shaped.
Nice young people who are round are also blue.
Young and kind folks are always big.
Have you noticed that green and round folks are also so young.
People who are nice and cold are also green.