Because Dave gets cold easily he tends to appear round from bundling up. In the snow sits Eric, crying from being cold. Gary was born only a few years ago so he is young. Harry was feeling red with anger after the fight, but he was still a nice but big human being. Nice people that are blue because they are cold turn green with envy. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. I've been told that big, nice people are very rough. Anyone that's rough and cold is also going to be blue.
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
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 big and nice then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Dave is round.
True
1
proof
[(triple1)]
("Dave" "is" "round" "+")
triple1
Harry is not red.
False
1
inv-proof
[(triple5)]
("Harry" "is" "red" "-")
triple5
Harry is rough.
True
3
proof
[(((triple7 triple6) -> rule3))]
("Harry" "is" "rough" "+")
((triple7 triple6) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple7 triple6) -> rule3))]
("Harry" "is" "rough" "-")
((triple7 triple6) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
True
6
proof
[(((((triple7 triple6) -> rule3) triple7 triple6) -> rule2))]
("Harry" "is" "cold" "+")
((((triple7 triple6) -> (rule3 % int2)) triple7 triple6) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not cold.
False
6
inv-proof
[(((((triple7 triple6) -> rule3) triple7 triple6) -> rule2))]
("Harry" "is" "cold" "-")
((((triple7 triple6) -> (rule3 % int2)) triple7 triple6) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is blue.
True
10
proof
[(((((((triple7 triple6) -> rule3) triple7 triple6) -> rule2) ((triple7 triple6) -> rule3)) -> rule4))]
("Harry" "is" "blue" "+")
((((((triple7 triple6) -> (rule3 % int3)) triple7 triple6) -> (rule2 % int2)) ((triple7 triple6) -> (rule3 % int3))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not blue.
False
10
inv-proof
[(((((((triple7 triple6) -> rule3) triple7 triple6) -> rule2) ((triple7 triple6) -> rule3)) -> rule4))]
("Harry" "is" "blue" "-")
((((((triple7 triple6) -> (rule3 % int3)) triple7 triple6) -> (rule2 % int2)) ((triple7 triple6) -> (rule3 % int3))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is green.
True
18
proof
[(((((((((triple7 triple6) -> rule3) triple7 triple6) -> rule2) ((triple7 triple6) -> rule3)) -> rule4) triple6 ((((triple7 triple6) -> rule3) triple7 triple6) -> rule2)) -> rule1))]
("Harry" "is" "green" "+")
((((((((triple7 triple6) -> (rule3 % int4)) triple7 triple6) -> (rule2 % int3)) ((triple7 triple6) -> (rule3 % int4))) -> (rule4 % int2)) triple6 ((((triple7 triple6) -> (rule3 % int4)) triple7 triple6) -> (rule2 % int3))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is not green.
False
18
inv-proof
[(((((((((triple7 triple6) -> rule3) triple7 triple6) -> rule2) ((triple7 triple6) -> rule3)) -> rule4) triple6 ((((triple7 triple6) -> rule3) triple7 triple6) -> rule2)) -> rule1))]
("Harry" "is" "green" "-")
((((((((triple7 triple6) -> (rule3 % int4)) triple7 triple6) -> (rule2 % int3)) ((triple7 triple6) -> (rule3 % int4))) -> (rule4 % int2)) triple6 ((((triple7 triple6) -> (rule3 % int4)) triple7 triple6) -> (rule2 % int3))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "rough" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "green" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "rough" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Dave is cold.[(triple2)] Dave is round.[(triple1)] Eric is cold.[(triple3)] Gary is young.[(triple4)] Harry is big.[(triple7)] Harry is nice.[(triple6)] Harry is red.[(triple5)] @1: Harry is rough.[(((triple7 triple6) -> rule3))] @2: Harry is cold.[(((((triple7 triple6) -> rule3) triple7 triple6) -> rule2))] @3: Harry is blue.[(((((((triple7 triple6) -> rule3) triple7 triple6) -> rule2) ((triple7 triple6) -> rule3)) -> rule4))] @4: Harry is green.[(((((((((triple7 triple6) -> rule3) triple7 triple6) -> rule2) ((triple7 triple6) -> rule3)) -> rule4) triple6 ((((triple7 triple6) -> rule3) triple7 triple6) -> rule2)) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
((triple7 triple6) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((((triple7 triple6) -> (rule3 % int2)) triple7 triple6) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((((triple7 triple6) -> (rule3 % int3)) triple7 triple6) -> (rule2 % int2)) ((triple7 triple6) -> (rule3 % int3))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((((((((triple7 triple6) -> (rule3 % int4)) triple7 triple6) -> (rule2 % int3)) ((triple7 triple6) -> (rule3 % int4))) -> (rule4 % int2)) triple6 ((((triple7 triple6) -> (rule3 % int4)) triple7 triple6) -> (rule2 % int3))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Because Dave gets cold easily he tends to appear round from bundling up.
In the snow sits Eric, crying from being cold.
Gary was born only a few years ago so he is young.
Harry was feeling red with anger after the fight, but he was still a nice but big human being.
Nice people that are blue because they are cold turn green with envy.
Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others.
I've been told that big, nice people are very rough.
Anyone that's rough and cold is also going to be blue.